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