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