Doğruluk tablosu nedir?

Bu derste mantığın en pratik araçlarından biri olan doğruluk tablosunu sıfırdan öğreneceksiniz: nedir, nasıl kurulur, kaç satırdan oluşur ve hangi soruların yanıtını verir. Kavramların temeli Basit önermeler dersinde atılmıştı; tüm mantık konularına ise Mantık dersleri sayfamızdan ulaşabilirsiniz.

Doğruluk Tablosu Nedir?

Doğruluk tablosu, bir bileşik önermenin doğruluk değerini, onu oluşturan basit önermelerin alabileceği tüm olası durumlar için tek tek gösteren tablodur. Mantıkta bir önerme ya D (doğru) ya da Y (yanlış) değerini alabildiği için olası durum sayısı sınırlıdır ve hepsi listelenebilir. Tabloda her satır bir durumu, her sütun bir önermenin o durumdaki değerini gösterir.

Böylece bir önermenin ne zaman doğru, ne zaman yanlış olduğu tahminle değil, sistematik bir sayımla belirlenir. Bu yüzden doğruluk tablosu mantığın hesap aracı sayılır: önermeler arasındaki ilişkiyi gözle yargılamak yerine tabloya bakarak karar veririz.

Doğruluk Tablosu Ne İşe Yarar?

Doğruluk tablosu yalnızca bir değer listesi değildir; mantıkta pek çok sorunun yanıtını bu tablodan alırız:

• Bir bileşik önermenin hangi durumlarda doğru, hangi durumlarda yanlış olduğunu görmek
• Bir önermenin her durumda doğru olup olmadığını denemek
• Bir önermenin her durumda yanlış olup olmadığını denemek
• İki önermenin her durumda aynı değeri alıp almadığını karşılaştırmak
• Bir çıkarımın geçerli olup olmadığını sınamak

Bu incelemelerin her birinin adı vardır: tüm satırları D çıkan önermelere Tautoloji, tüm satırları Y çıkan önermelere Çelişki denir. İki önermenin tablolarının satır satır aynı olması durumuna ise Mantıksal eşdeğerlik adı verilir. Tabloyla bir akıl yürütmenin geçerliliğini sınamak istersen Tümdengelim dersine de göz atabilirsin.

Doğruluk Tablosu Nasıl Oluşturulur?

Tablo kurmak dört adımlık düzenli bir işlemdir:

1. Basit önermeleri belirle: Bileşik önermenin içindeki her basit önermeye p, q, r gibi bir harf ver.
2. Satır sayısını hesapla: n basit önerme varsa tablo 2ⁿ (2 üzeri n) satırdan oluşur.
3. Tüm durumları sırala: Basit önermelerin D/Y kombinasyonlarını hiçbirini atlamadan yaz.
4. Son sütunu doldur: Her satırı tek tek değerlendirip bileşik önermenin değerini yaz.

Satır sayısı kuralı

Her basit önerme iki değer alabildiği için durumlar hızla çoğalır: tek önermede 2 satır, iki önermede 2 × 2 = 4 satır, üç önermede 2 × 2 × 2 = 8 satır vardır. Genel kural şudur: n basit önerme → 2ⁿ satır. Önerme sayısı arttıkça tablo uzadığından, sorularda genellikle en fazla üç ya da dört önermeyle çalışılır.

Örnek: İki Önermeli Bir Tablo

p: “Bugün yağmur yağıyor” ve q: “Bugün rüzgâr esiyor” olsun. İki basit önerme bulunduğundan tabloda 2² = 4 durum listelenir:

• 1. durum: p → D, q → D (yağmur var, rüzgâr var)
• 2. durum: p → D, q → Y (yağmur var, rüzgâr yok)
• 3. durum: p → Y, q → D (yağmur yok, rüzgâr var)
• 4. durum: p → Y, q → Y (yağmur yok, rüzgâr yok)

Bu dört durum üzerine istenen her bileşik önermenin sütunu yazılabilir. Örneğin “p ve q” (p ∧ q) önermesi yalnızca 1. durumda D, diğer üç durumda Y'dir; çünkü “ve” bağlacıyla kurulan önermenin doğru olması için her iki bileşeninin de doğru olması gerekir. Tek önermeli örnek daha basittir: ~p (p değil) için iki satır yeterlidir; p doğruyken ~p yanlış, p yanlışken ~p doğrudur. Bağlaçların tablolardaki davranışlarının ayrıntısı Bileşik önermeler dersinde işlenir.

Doğruluk tabloları bugün yalnızca felsefede değil; bilgisayar bilimlerinde mantık devrelerinin tasarımından programlamadaki koşul ifadelerine kadar pek çok alanda kullanılır. Mantık, felsefenin en kurallı alanlarından biridir; alanın bütününe felsefe dersleri sayfasından ulaşabilirsin.

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

Doğruluk tablosu kurarken öğrencilerin en sık düştüğü yanılgılar şunlardır:

• Satır sayısını yanlış hesaplamak: İki basit önerme için 3 satır yazmak en yaygın hatadır; kural 2ⁿ olduğundan iki önerme 4, üç önerme 8 satır gerektirir.
• Bir durumu atlamak: Kombinasyonlar rastgele yazılırsa bir durum iki kez, bir durum hiç yazılmayabilir. D-D, D-Y, Y-D, Y-Y düzenini izlemek bu hatayı önler.
• Tüm satırlara bakmadan genellemek: “Bu önerme her zaman doğrudur” diyebilmek için tüm satırların D olması gerekir; tek bir Y satırı bile bu yargıyı çürütür.
• Günlük dildeki “veya” ile mantıktaki “veya”yı karıştırmak: Günlük dilde “çay veya kahve” çoğu zaman “ya biri ya öbürü” demektir; mantıkta p ∨ q, iki taraf da doğruyken de doğrudur.
• Değil (~) işlemini unutmak: p doğruyken ~p'yi de doğru sanmak, o satırdaki tüm değerleri bozar; değillenmiş bir ifadenin değeri her zaman bileşeninin tersidir.

Son bir ipucu: Tabloyu doldurduktan sonra son sütunu yukarıdan aşağıya bir kez daha oku. Tüm satırlar D ise önerme tautoloji, tümü Y ise çelişkidir; karışık çıkarsa ne biri ne öteki olduğunu güvenle söyleyebilirsin.