Matematiksel mantıkta totoloji için aşağıdakilerden hangisi doğrudur?
A) Doğruluk tablosunda tüm değerleri yanlış olan önermedir
B) Doğruluk tablosunda en az bir doğru değeri olan önermedir
C) Doğruluk tablosunda tüm değerleri doğru olan önermedir
D) Doğruluk tablosunda doğru ve yanlış değerleri eşit olan önermedir
Sevgili öğrenciler, matematiksel mantıkta totoloji kavramını anlamak için öncelikle önermelerin doğruluk değerlerini ve doğruluk tablolarını hatırlayalım.
- Önerme Nedir? Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Örneğin, "Güneş doğudan doğar" bir önermedir ve doğrudur. "2+2=5" bir önermedir ve yanlıştır.
- Doğruluk Tablosu Nedir? Bir önermenin veya bileşik önermenin alabileceği tüm olası doğruluk değerlerini (Doğru (D) veya Yanlış (Y)) sistematik bir şekilde gösteren tabloya doğruluk tablosu denir.
- Totoloji (Tautology) Nedir? Bir bileşik önermenin, bileşenlerinin tüm olası doğruluk değerleri için daima doğru (D) sonuç vermesi durumuna totoloji denir. Yani, doğruluk tablosunun sonuç sütunundaki tüm değerler 'Doğru' olmalıdır.
- Totoloji Örneği: En basit totoloji örneklerinden biri "$p \lor \neg p$" (p veya p'nin değili) önermesidir. Eğer $p$ doğru ise, $\neg p$ yanlış olur ve "$p \lor \neg p$" önermesinin doğruluk değeri $D \lor Y = D$ olur. Eğer $p$ yanlış ise, $\neg p$ doğru olur ve "$p \lor \neg p$" önermesinin doğruluk değeri $Y \lor D = D$ olur. Gördüğünüz gibi, $p$'nin hangi değeri aldığına bakılmaksızın, "$p \lor \neg p$" önermesi her zaman doğrudur. Bu bir totolojidir.
- Şimdi seçenekleri inceleyelim:
- A) Doğruluk tablosunda tüm değerleri yanlış olan önermedir: Bu tanım, "çelişki" (contradiction) kavramına aittir. Bir önerme her zaman yanlış sonuç veriyorsa, o bir çelişkidir. Örneğin, "$p \land \neg p$" (p ve p'nin değili) bir çelişkidir.
- B) Doğruluk tablosunda en az bir doğru değeri olan önermedir: Bu tanım, "tutarlı önerme" (satisfiable statement) kavramına daha yakındır. Bir önermenin doğruluk tablosunda en az bir doğru değeri varsa, o önerme tutarlıdır. Totoloji, tutarlı önermelerin özel bir durumudur, ancak her tutarlı önerme totoloji değildir. Örneğin, "$p$" önermesi tutarlıdır ama totoloji değildir.
- C) Doğruluk tablosunda tüm değerleri doğru olan önermedir: Bu tanım, yukarıda açıkladığımız gibi, tam olarak totolojinin tanımıdır. Bir önerme, tüm olası durumlarda doğru sonuç veriyorsa bir totolojidir.
- D) Doğruluk tablosunda doğru ve yanlış değerleri eşit olan önermedir: Bu durum, özel bir "tutarlı önerme" türüdür ve totoloji değildir. Örneğin, "$p \leftrightarrow q$" önermesi, $p$ ve $q$'nun ikişer farklı doğruluk değeri için doğru, ikişer farklı doğruluk değeri için yanlış olabilir. Bu bir totoloji değildir.
Bu açıklamalar ışığında, totolojinin tanımına en uygun seçeneğin C olduğu açıkça görülmektedir.
Cevap C seçeneğidir.
