Mantıksal Eşdeğerlik

İki farklı biçimde yazılmış önermenin her durumda aynı anlamı taşıyıp taşımadığını sorguladığımızda karşımıza mantıksal eşdeğerlik çıkar. Bu derste eşdeğerliğin tanımını, doğruluk tablosuyla nasıl kanıtlandığını ve sınavlarda en sık karşımıza çıkan temel eşdeğerlikleri bol örnekle işliyoruz. Konunun tamamını görmek isteyenler Mantık dersleri bölümümüzdeki diğer derslere de göz atabilir.

Mantıksal Eşdeğerlik Nedir?

Bileşik iki önerme, olası her doğruluk durumunda aynı değeri alıyorsa — yani tabloda aynı satırlarda doğru, aynı satırlarda yanlışsa — birbirine mantıksal olarak eşdeğerdir denir. p ile q eşdeğerse bu durum p ≡ q biçiminde gösterilir. Eşdeğerlik bir bağlaç değildir; iki formül arasında kurulan bir karşılaştırmadır ve “p ile q aynı doğruluk işlevini üretiyor” demenin kısaltmasıdır. Bu yüzden eşdeğer iki önerme bir cümlede birbirinin yerine geçebilir: biri doğruyken diğeri asla yanlış olmaz, biri yanlışken diğeri asla doğru olmaz.

Basit önermelerin p, q gibi harflerle gösterimini hatırlamak için Basit önermeler dersine, bağlaçlarla önerme kurma kuralları için Bileşik önermeler dersine bakabilirsin.

Eşdeğerlik Doğruluk Tablosuyla Nasıl Gösterilir?

Yöntem iki adımdan oluşur:

1. Karşılaştırılacak iki önermeyi aynı tabloda, aynı olasılık satırları (D-D, D-Y, Y-D, Y-Y) üzerinden hesapla.
2. Son sütunlar birebir aynıysa önermeler eşdeğerdir; tek bir satır bile farklıysa eşdeğerlik yoktur.

Tablo kurma işleminin ayrıntılarını bilmiyorsan önce Doğruluk tablosu nedir? dersimize göz at. Örnek olarak p → q ile ~p ∨ q önermelerini karşılaştıralım:

• p: D, q: D iken; p → q = D ve ~p ∨ q = D
• p: D, q: Y iken; p → q = Y ve ~p ∨ q = Y
• p: Y, q: D iken; p → q = D ve ~p ∨ q = D
• p: Y, q: Y iken; p → q = D ve ~p ∨ q = D

Dört satırda da değerler örtüştüğü için p → q ≡ ~p ∨ q yazabiliriz. Kısaca: bir koşullu önerme, “önü olumsuz + veya + sonu” biçiminde yeniden yazılabilir. Bu eşdeğerlik, uzun önermeleri sadeleştirmede en çok başvurulan araçtır.

Sık Kullanılan Temel Eşdeğerlikler

Aşağıdaki liste, mantık sorularında en çok işine yarayacak eşdeğerlikleri özetler; her satırda soldaki önerme sağdakine eşdeğerdir:

• Çift olumsuz: ~~p ≡ p (iki kez olumsuzlamak önermeyi eski hâline döndürür)
• De Morgan kuralları: ~(p ∧ q) ≡ ~p ∨ ~q ve ~(p ∨ q) ≡ ~p ∧ ~q
• Koşullu önerme: p → q ≡ ~p ∨ q
• Koşullunun olumsuzu: ~(p → q) ≡ p ∧ ~q
• Karşıt tersi: p → q ≡ ~q → ~p
• Çift koşul: p ↔ q ≡ (p → q) ∧ (q → p)
• Yutma (soğurma): p ∨ (p ∧ q) ≡ p ve p ∧ (p ∨ q) ≡ p
• Aynı kuvvette birleştirme: p ∧ p ≡ p ve p ∨ p ≡ p

De Morgan kuralları günlük dilde ne der?

De Morgan kuralları, olumsuzlamanın “ve” ile “veya”yı birbirine dönüştürdüğünü söyler:

• “Ali evde ve Ayşe okulda” cümlenin olumsuzu: “Ali evde değil veya Ayşe okulda değil”.
• “Sınav kolay veya sorular az” cümlenin olumsuzu: “Sınav kolay değil ve sorular az değil”.

Görüldüğü gibi olumsuzlama hem bağlacı tersine çevirir hem de her iki bileşeni olumsuzlar. İkisinden yalnızca birini yapmak, bu konuda en sık düşülen hatadır.

Ters, Karşıt ve Karşıt Ters Önermeler

p → q önermesinden üç yeni koşullu önerme türetilebilir. p: “Yağmur yağar”, q: “Zemin ıslanır” olsun:

• Tersi (q → p): “Zemin ıslanırsa yağmur yağmıştır.” — önermeyle eşdeğer değildir; zemin sulanmış da olabilir.
• Karşıtı (~p → ~q): “Yağmur yağmadıysa zemin ıslanmamıştır.” — önermeyle eşdeğer değildir.
• Karşıt tersi (~q → ~p): “Zemin ıslanmadıysa yağmur yağmamıştır.” — önermeyle eşdeğerdir: p → q ≡ ~q → ~p.

Burada ikinci önemli bağlantı şudur: tersi ile karşıtı birbirine eşdeğerdir, yani q → p ≡ ~p → ~q. “Verilen önermeyle aynı anlamı taşıyan hangisidir?” türü sorularda bu eşdeğerlikler doğrudan aranır; tersi veya karşıtı hiçbir zaman doğru cevap değildir.

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

• ~(p ∧ q) ≡ ~p ∧ ~q sanmak: Doğru eşdeğerlik ~p ∨ ~q biçimindedir; olumsuzlama, bağlacı değiştirmeden önermelerin üzerine bırakılamaz.
• Önermeyle tersini eşdeğer sanmak: “Yağmur yağarsa zemin ıslanır” ile “Zemin ıslaksa yağmur yağdı” aynı anlama gelmez; tek bir karşı örnek (zeminin sulanması) yeterlidir.
• ≡ ile ↔ işaretlerini karıştırmak: ↔ bir bağlaçtır ve yeni bir önerme üretir; ≡ ise iki önermenin tablolarının özdeş olduğunu bildiren bir ifadedir. Kural olarak p ↔ q bir totolojiyse p ≡ q yazılır.
• Eşdeğerliği “aynı anda doğru olmak” sanmak: p ∧ q eşdeğerlik değildir; aranılan şey iki önermenin her durumda aynı değeri almasıdır. Yalnızca D-D satırında birlikte doğru olmaları yetmez.
• Birkaç örnekle yetinmek: İki önermeli bir durumda dört satırın tamamı denetlenmeden eşdeğerlik ilan edilemez.

Eşdeğerliğin Yeri ve Özet

Eşdeğerlik, uzun önermeleri sadeleştirmenin ve bir önermenin olumsuzunu doğru kurmanın anahtar aracıdır. p ∨ ~p her durumda doğru olduğundan totolojiye eşdeğerdir; p ∧ ~p her durumda yanlış olduğundan çelişiye eşdeğerdir — bu iki özel yapıyı Tautoloji ve Çelişki derslerinde ayrıntılı işliyoruz. Akıl yürütmede ise tümdengelim zincirlerinin adımlarını dönüştürürken sık sık eşdeğerliklerden yararlanılır; bunu Tümdengelim dersinde görebilirsin. Özetle: mantıksal eşdeğerlik, iki önermenin doğruluk tablosu sütunlarının özdeş olmasıdır; De Morgan kuralları, koşullu önermenin ayrık biçimi ve karşıt tersi eşdeğerliği bu ünitenin en çok kullanılan üç aracıdır.