(P  Q)  R  (P R) (Q R) |
distributiva lagen för konjunktion |
| (P Q) R (P R) (Q R) |
distributiva lagen för disjunktion |
| P Q Q P |
kommutativa lagen för konjunktion |
| P Q Q P |
kommutativa lagen för disjunktion |
| P P |
identitetslagen |
| P ¬¬P |
lagen för dubbel negation |
P ¬P  |
det uteslutna tredjes lag |
| ¬(P ¬P) |
den uteslutna kontradiktionens lag |
| ¬(P Q) ¬P ¬Q |
de Morgans lag |
| ¬(P Q) ¬P ¬Q |
de Morgans lag |
(P  Q) (¬Q ¬P) |
transpositionslagen |
(P Q) P  Q |
modus (ponendo) ponens |
| (P Q) ¬Q ¬P |
modus tollendo tollens |
| (P Q) ¬P Q |
modus tollendo ponens |