Mantıkta totoloji için aşağıdakilerden hangisi doğrudur?
A) En az bir doğruluk değeri yanlış olan önermedir
B) Tüm doğruluk değerleri yanlış olan önermedir
C) Tüm doğruluk değerleri doğru olan önermedir
D) Doğruluk değeri değişken olan önermedir
Mantık, doğru akıl yürütmeyi ve önermelerin geçerliliğini inceleyen bir bilim dalıdır. Bir önerme (veya yargı), doğru ya da yanlış olabilen bir ifadedir.
- Önerme ve Doğruluk Değeri: Mantıkta her önermenin bir doğruluk değeri vardır; bu değer ya 'Doğru' (D veya 1) ya da 'Yanlış' (Y veya 0) olabilir. Örneğin, "Güneş bir yıldızdır" doğru bir önermeyken, "Kediler uçar" yanlış bir önermedir.
- Totoloji Nedir?: Totoloji, mantıkta her koşulda, yani bileşen önermelerinin doğruluk değerleri ne olursa olsun, daima doğru olan bir bileşik önermedir. Başka bir deyişle, bir totolojinin doğruluk tablosundaki tüm sonuçlar 'Doğru' (D) olacaktır. Totolojiler, mantıksal olarak her zaman geçerli olan ifadelerdir.
- Örnek: En bilinen totoloji örneklerinden biri "$P$ veya değil $P$" ($P \lor \neg P$) ifadesidir. Eğer $P$ doğruysa, "$P$ veya değil $P$" doğru olur. Eğer $P$ yanlışsa, "değil $P$" doğru olur ve yine "$P$ veya değil $P$" doğru olur. Her iki durumda da sonuç doğrudur.
Şimdi seçenekleri inceleyelim:
- A) En az bir doğruluk değeri yanlış olan önermedir: Bu ifade, bir totolojinin tanımına uymaz. Bir totoloji her zaman doğrudur, dolayısıyla hiçbir zaman yanlış bir doğruluk değeri almaz. Bu tür önermelere "tutarlı" (contingency) veya "çelişki" (contradiction) denilebilir.
- B) Tüm doğruluk değerleri yanlış olan önermedir: Bu ifade, bir "çelişki"nin (contradiction) tanımıdır. Çelişkiler, totolojilerin tam tersidir; her zaman yanlıştır. Örneğin, "$P$ ve değil $P$" ($P \land \neg P$) bir çelişkidir.
- C) Tüm doğruluk değerleri doğru olan önermedir: Bu ifade, totolojinin tam ve doğru tanımıdır. Bir önerme, bileşenlerinin doğruluk değerleri ne olursa olsun her zaman doğru sonuç veriyorsa, o bir totolojidir.
- D) Doğruluk değeri değişken olan önermedir: Bu ifade, "tutarlı" (contingency) önermelerin tanımıdır. Bu tür önermeler, bazı durumlarda doğru, bazı durumlarda yanlış olabilirler. Örneğin, "Bugün hava güneşlidir" önermesi, gününe göre doğru veya yanlış olabilir.
Bu açıklamalara göre, mantıkta totolojinin doğru tanımı, tüm doğruluk değerleri doğru olan önerme olmasıdır.
Cevap C seçeneğidir.
