Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Definition peirce := forall P Q : Prop, ((P -> Q) -> P) -> P.
- Definition nono := forall P : Prop, ~~P -> P.
- Definition tiers_exclus := forall P : Prop, P \/ ~P.
- Definition demorgan := forall P Q : Prop, ~(~P /\ ~Q) -> P \/ Q.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
