Tautoloji

Mantıkta bazı bileşik önermeler vardır ki bileşenlerinin doğruluk değeri ne olursa olsun sonuç daima doğrudur. Bu derste bu özel önermelere verilen isim olan tautoloji kavramını sıfırdan, adım adım ve bol örnekle işliyoruz. Konunun dayanağı olan tablo kurma işlemini henüz görmediysen önce Doğruluk tablosu nedir? dersine göz atabilir, serinin tamamı için Mantık dersleri sayfasına bakabilirsin.

Tautoloji Nedir?

Tautoloji, bir bileşik önermenin doğruluk tablosundaki tüm satırların "doğru (D)" çıkması hâlidir. Bileşenleri olan basit önermeler hangi değerleri alırsa alsın bileşik önermenin sonucu değişmez: her koşulda doğrudur. En bilinen örneği p ∨ ¬p (p veya p değil) önermesidir; p doğru da olsa yanlış da olsa bu ifade daima D verir. Tautolojinin doğruluğu içeriğinden değil, yapısından gelir; bu yüzden mantıkta yapısal olarak doğru önerme diye de tanımlanır. Basit ve bileşik önermeler ayrımını hatırlamak istersen Basit önermeler ile Bileşik önermeler derslerine dönebilirsin.

Dikkat: Günlük dilde tautoloji bazen gereksiz tekrar anlamında kullanılır. Mantıktaki tautoloji ise tamamen teknik bir kavramdır ve doğruluk tablosuyla tanımlanır; iki kullanım birbirine karıştırılmamalıdır.

Tautoloji Nasıl Belirlenir?

Bir bileşik önermenin tautoloji olup olmadığı, doğruluk tablosu çizilerek kesin olarak gösterilir. İzlenecek yol şudur:

1. Önermede kaç farklı basit önerme varsa buna uygun satır sayısı açılır: iki önerme için 4, üç önerme için 8 satır.
2. Her satırda basit önermelere D ve Y değerleri, tüm olası bileşimleri kapsayacak biçimde dağıtılır.
3. Parantez içinden başlanarak ara sütunlar (¬p, p ∧ q gibi) hesaplanır.
4. En sonda bileşik önermenin kendi sütunu yazılır; sütunun tamamı D ise önerme tautolojidir.

Örnek 1: p ∨ ¬p

Satırları tek tek hesaplayalım:

• p = D iken ¬p = Y olur; p ∨ ¬p = D ∨ Y = D
• p = Y iken ¬p = D olur; p ∨ ¬p = Y ∨ D = D

Tablonun iki satırı da doğru çıktığı için p ∨ ¬p bir tautolojidir. Bu önerme aynı zamanda üçüncü hâlin dışlanması ilkesinin ifadesidir: bir önerme ya doğrudur ya yanlış, üçüncü bir durum yoktur.

Örnek 2: (p ∧ q) → p

İki basit önerme bulunduğu için tabloda dört satır hesaplanır:

• p = D, q = D iken: p ∧ q = D olur; D → D = D
• p = D, q = Y iken: p ∧ q = Y olur; Y → D = D
• p = Y, q = D iken: p ∧ q = Y olur; Y → Y = D
• p = Y, q = Y iken: p ∧ q = Y olur; Y → Y = D

Dört satırın dördü de doğru çıktı. Gerçekten de "p ve q birlikte doğruysa p doğrudur" cümlesi hiçbir koşulda yanlış olamaz; bu yüzden (p ∧ q) → p sınavlarda en sık karşılaşılan tautoloji kalıplarından biridir.

Tautoloji, Çelişki ve Diğer Önermeler Arasındaki Fark

Doğruluk tablosunun son sütununa bakıldığında üç durum ayırt edilir:

• Tautoloji: Son sütunun tamamı D'dir. Örnek: p ∨ ¬p
• Çelişki: Son sütunun tamamı Y'dir. Örnek: p ∧ ¬p
• Diğer önermeler: Sütunda hem D hem Y vardır; önerme bazı koşullarda doğru, bazı koşullarda yanlıştır. Örnek: p → q

En kritik ayrım şudur: p ∨ ¬p tautoloji, p ∧ ¬p çelişkidir. "Veya" bağlacı taraflardan en az birinin doğru olmasını yeterli sayar; "ve" bağlacı ise ikisinin aynı anda doğru olmasını ister ki bu imkânsızdır. Ayrıca bir tautolojinin değili çelişkiye, bir çelişkinin değili tautolojiye dönüşür. Çelişki konusunu kendi dersinde ayrıntılı işliyoruz: Çelişki.

Sık Karşılaşılan Tautoloji Kalıpları

Aşağıdaki önermeler, doğruluk tablosuyla ispatlanmış klasik tautoloji örnekleridir:

• p → p: "p ise p" her koşulda doğrudur.
• p ∨ ¬p: Üçüncü hâlin dışlanması ilkesi.
• ¬(p ∧ ¬p): Çelişmezlik ilkesi; p ile p değil aynı anda doğru olamaz.
• p → (p ∨ q): p doğruysa "p veya q" da doğrudur; q'nun değeri önemli değildir.
• (p ∧ q) → p: Birleşik ifadeden bileşeni çıkarma.
• [(p → q) ∧ p] → q: Modus Ponens denen tümdengelim şemasının kendisi bir tautolojidir.

Bu liste boşuna verilmedi: tümdengelimli akıl yürütmede bir çıkarım biçiminin geçerli sayılması, tam olarak o biçimi gösteren koşullu önermenin tautoloji çıkmasına bağlıdır. Bu bağlantıyı Tümdengelim dersinde ayrıntısıyla göreceksin.

Tautoloji Neden Önemlidir?

• Geçerli akıl yürütme: Tümdengelimde sonuç, ancak aradaki önerme tautolojiyse öncüllerden zorunlu olarak çıkar.
• Matematiksel ispat: Üçüncü hâlin dışlanması ve çelişmezlik gibi ispat araçları tautoloji olduğu için güvenilirdir.
• Bilgisayar bilimleri: Devre sadeleştirmede ve program doğrulamada her girdi için doğru olan ifadeler aranır.
• Sınav pratiği: "Aşağıdakilerden hangisi tautolojidir?" tipi sorular tablo çizilerek birkaç adımda çözülür.

Mantığı bir bütün olarak ele almak istersen Felsefe dersleri kategorisine de göz atabilirsin.

Tautoloji ile Mantıksal Eşdeğerlik İlişkisi

İki önermenin mantıksal olarak eşdeğer olduğunu göstermenin standart yolu, ikisini ⇔ (eşdeğerlik) bağlacıyla birleştirip ortaya çıkan önermenin tautoloji olduğunu göstermektir. Örneğin ¬(p ∧ q) ≡ ¬p ∨ ¬q (De Morgan kuralı) eşdeğerliği doğrudur; çünkü [¬(p ∧ q)] ⇔ (¬p ∨ ¬q) önermesinin doğruluk tablosundaki dört satırın tamamı D çıkar. Eşdeğerlik dönüşümlerinin tam listesine Mantıksal eşdeğerlik dersinden ulaşabilirsin.

Sık Yapılan Hatalar ve Yanılgılar

Tautoloji sorularında en çok yapılan hataları şöyle sıralayabiliriz:

1. p ∨ ¬p ile p ∧ ¬p karıştırmak: Biri tautoloji, öteki çelişkidir; "ve" ile "veya"nın görevine dikkat et.
2. p → q önermesini tautoloji sanmak: p → q tek başına tautoloji değildir; p = D, q = Y satırında yanlış çıkar. Tautoloji olan, (p ∧ q) → p gibi tüm satırları D çıkan kalıplardır.
3. Ara sütunlardan karar vermek: Tautoloji kararı daima bileşik önermenin kendi sütunundan verilir; ara sütunlar yalnızca hesap yardımcısıdır.
4. Tautolojiyi anlamlı bilgi sanmak: Tautoloji her koşulda doğru olduğu için dünyaya ilişkin yeni bir bilgi vermez; doğruluğu yapıdan gelir. Bu yüzden bazen "boş doğru" olarak da adlandırılır.
5. Değili unutmak: Önermenin başına ¬ getirilirse tautoloji çelişkiye, çelişki tautolojiye dönüşür; değillerle çalışırken son sütunu yeniden hesapla.
6. Tablosuz sezmeye çalışmak: Üç önermeli ifadelerde 8 satır vardır; göz kararı karar vermek yerine tabloyu eksiksiz çizmek en güvenli yoldur.