Aşağıdaki önermelerden hangisi bir totolojidir?
A) p ∧ ¬pMerhaba sevgili öğrenciler! Bu soruda, mantıkta çok önemli bir kavram olan totolojiyi anlamamız gerekiyor. Bir önerme, bileşenlerinin doğruluk değerlerinden bağımsız olarak her zaman doğru ise, bu önermeye totoloji denir. Şimdi seçenekleri tek tek inceleyelim:
A) $p \land \neg p$
Bu önerme "$p$ ve $p$ değil" anlamına gelir. Bir önerme hem doğru hem de yanlış olamaz. Örneğin, "Hava güneşlidir ve hava güneşli değildir" cümlesi her zaman yanlıştır. Bu tür önermelere çelişki denir. Bu önermenin doğruluk değerini inceleyelim:
Eğer $p$ doğru (D) ise, $\neg p$ yanlış (Y) olur. Bu durumda $D \land Y$ sonucu YANLIŞ olur.
Eğer $p$ yanlış (Y) ise, $\neg p$ doğru (D) olur. Bu durumda $Y \land D$ sonucu YANLIŞ olur.
Gördüğünüz gibi, sonuç her zaman yanlıştır. Dolayısıyla, bu bir totoloji değildir.
B) $p \lor \neg p$
Bu önerme "$p$ veya $p$ değil" anlamına gelir. Bir önerme ya doğrudur ya da yanlıştır; üçüncü bir ihtimal yoktur. Örneğin, "Hava güneşlidir veya hava güneşli değildir" cümlesi her zaman doğrudur. Bu, mantığın temel ilkelerinden biri olan üçüncü halin imkansızlığı ilkesidir. Bu önermenin doğruluk değerini inceleyelim:
Eğer $p$ doğru (D) ise, $\neg p$ yanlış (Y) olur. Bu durumda $D \lor Y$ sonucu DOĞRU olur.
Eğer $p$ yanlış (Y) ise, $\neg p$ doğru (D) olur. Bu durumda $Y \lor D$ sonucu DOĞRU olur.
Gördüğünüz gibi, sonuç her zaman doğrudur. Bu tür önermeler her zaman doğrudur ve bu nedenle bir totolojidir.
C) $p \to \neg p$
Bu önerme "Eğer $p$ ise, o zaman $p$ değil" anlamına gelir. Bu önermenin doğruluk değeri, $p$'nin doğruluk değerine bağlıdır. İnceleyelim:
Eğer $p$ doğru (D) ise, $\neg p$ yanlış (Y) olur. Bu durumda $D \to Y$ sonucu YANLIŞ olur.
Eğer $p$ yanlış (Y) ise, $\neg p$ doğru (D) olur. Bu durumda $Y \to D$ sonucu DOĞRU olur.
Sonuç her zaman doğru olmadığı için bu bir totoloji değildir.
D) $p \leftrightarrow \neg p$
Bu önerme "$p$ ancak ve ancak $p$ değil" anlamına gelir. İki önermenin ancak ve ancak bağlacıyla bağlanması durumunda, her ikisinin de aynı doğruluk değerine sahip olması gerekir ki sonuç doğru olsun. Burada $p$ ve $\neg p$ her zaman zıt doğruluk değerlerine sahip olacağı için, bu önerme her zaman yanlış olacaktır. İnceleyelim:
Eğer $p$ doğru (D) ise, $\neg p$ yanlış (Y) olur. Bu durumda $D \leftrightarrow Y$ sonucu YANLIŞ olur.
Eğer $p$ yanlış (Y) ise, $\neg p$ doğru (D) olur. Bu durumda $Y \leftrightarrow D$ sonucu YANLIŞ olur.
Sonuç her zaman yanlış olduğu için bu bir totoloji değildir; aslında bu da bir çelişkidir.
Yukarıdaki analizlerimize göre, sadece $p \lor \neg p$ önermesi her zaman doğrudur.
Cevap B seçeneğidir.
