Tautologier


(P och Q) eller R om och endast om (P eller R) och (Q eller R)
(P eller Q) och R om och endast om (P och R) eller (Q och R)
P och Q om och endast om Q och P
P eller Q om och endast om Q eller P
P om och endast om P
P om och endast om ¬¬P
P eller ¬P
¬(P och ¬P)
¬(P och Q) om och endast om ¬P eller ¬Q
¬(P eller Q) om och endast om ¬P och ¬Q
(P endast om Q) om och endast om (¬Q endast om ¬P)
(P endast om Q) och P endast om Q
(P endast om Q) och ¬Q endast om ¬P
(P eller Q) och ¬P endast om Q
P och tautologi om och endast om P
P eller tautologi om och endast om tautologi
P och kontradiktion om och endast om kontradiktion
P eller kontradiktion om och endast om P

Logiska lagar
Tillbaka