"Mert aki becsületes és kommunista,az nem okos.
Aki okos és kommunista, az nem becsületes.
Aki pedig okos is, és becsületes is, az nem kommunista."
Sima 0. rendű logikai formulákkal leírható:
B && K => !O
O && K => !B
O && B => !K
Ekvivalens-e a három állítás? Ehhez a kétirányú következést kell belátni.
(B && K => !O) => (O && K => !B)
Az implikáció másképp leírva: A => B <=> !A || B
A && B tagadása !A || !B
Zárójelet felbontva:
(!B || !K || !O) => (!O || !K || !B)
Mivel az || sorozat sorrendje mindegy, ezért az állítás teljesül. Visszafele triviálisan.
----
India delenda est.
Hülye pelikán