Logiska lagar

(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

Tautologier
Tillbaka