Mantık Totoloji ve Çelişki Kavramları Nedir?

Bir bileşik önerme, kendisini oluşturan her değeri için daima doğru oluyorsa, bu
bileşik önermeye totoloji, daima yanlış oluyorsa, bu bileşik önermeye de çelişki denir.
Verilen p herhangi bir önerme için, p V p' ile p Λ q' bileşik önermelerinin
doğruluk değerleri tablosunu yapalım.



Tablodan, p V p' ≡ 1 ve p Λ p' ≡ 0 olduğu görülüyor. Buna göre, p V p' bileşik
önermesi bir totolojidir. p Λ p' önermesi ise bir çelişkidir.

ÖRNEK:

(1⇔0)'⇔[(0⇒1)Λ1]

işleminin sonucunun totoloji mi çelişki mi olduğuna bakalım

ÇÖZÜM

Bu çözümde ancak ve ancak bağlacı özelliği kullanılacaktır.

(p⇒q)Λ(q⇒p)≡p⇔q özellik için bknz

Bu bilgiye göre,

(1⇔0)'⇔[(0⇒1)Λ1]=0'⇔(1Λ1)≡1⇔1≡1 bulunur.

Cevap 1'e denk olduğundan totolojidir diyebiliriz.