(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 |