Aşağıdaki önermelerden hangisi totolojidir?
A) p ∧ ¬pMerhaba sevgili öğrenciler!
Bu soruda, mantıkta çok önemli bir kavram olan "totoloji"yi anlamamız ve hangi önermenin totoloji olduğunu bulmamız isteniyor. Haydi, adım adım ilerleyelim:
Bir önermenin totoloji olması demek, o önermenin içerdiği basit önermelerin (burada $p$ ve $q$) doğruluk değerleri ne olursa olsun, bileşik önermenin sonucunun her zaman doğru (True) olması demektir. Yani, her koşulda doğru olan bir ifadedir.
Her bir seçeneği, $p$ ve $q$ önermelerinin alabileceği tüm doğruluk değerleri (Doğru (D) veya Yanlış (Y)) için ayrı ayrı değerlendirelim.
Bu önerme, "$p$ ve $p$'nin değili" anlamına gelir. Bir önerme hem doğru hem de yanlış olamaz. İnceleyelim:
Gördüğümüz gibi, bu önerme her zaman yanlıştır. Bu tür önermelere "çelişki" denir. Dolayısıyla totoloji değildir.
Bu önerme, "$p$ veya $p$'nin değili" anlamına gelir. Bir önerme ya doğrudur ya da yanlıştır; üçüncü bir ihtimal yoktur. İnceleyelim:
Bu önerme her zaman doğrudur. İşte bu bir totolojidir!
Bu önerme, "$p$ ise $q$" anlamına gelir. Bu bir koşullu önermedir ve her zaman doğru değildir. İnceleyelim:
Gördüğümüz gibi, $p$ doğru iken $q$ yanlış olduğunda önerme yanlış olur. Bu nedenle totoloji değildir.
Bu önerme, "$p$ ve $q$" anlamına gelir. Bu önermenin doğru olabilmesi için hem $p$'nin hem de $q$'nun doğru olması gerekir. İnceleyelim:
Bu önerme sadece bir durumda doğru, diğer durumlarda yanlıştır. Bu nedenle totoloji değildir.
Yaptığımız incelemeler sonucunda, sadece $p \lor \neg p$ önermesinin her durumda doğru olduğunu gördük. Bu da onun bir totoloji olduğu anlamına gelir.
Cevap B seçeneğidir.