Tautologier

(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

Tillbaka