Mantık Bağlaçları: Doğruluk Tabloları ve Soru Çözümü

Önerme ile bağlaçlı ifade arasındaki farkı kurma

Basit önerme, tek bir yargı bildiren ve doğruluk değeri belirlenebilen ifadedir. Genellikle küçük harflerle gösterilir: $p$, $q$ ve $r$. Örneğin $p$: "Bugün ders çalışıyorum" ve $q$: "Sınav yarın" olsun. Bu iki önerme, bağlaçlarla birleştirilerek bileşik önerme oluşturabilir.

Değil ($\neg$) bağlacı, önermenin doğruluk değerini tersine çevirir. $p$ doğruysa $\neg p$ yanlış; $p$ yanlışsa $\neg p$ doğrudur.

Ve ($\land$) bağlacında sonuç ancak iki önerme de doğruysa doğrudur. $p \land q$ ifadesinin doğru olması için hem $p$ hem de $q$ doğru olmalıdır.

Veya ($\lor$) bağlacında en az bir önermenin doğru olması yeterlidir. Bu nedenle $p \lor q$, $p$ doğru olduğunda, $q$ doğru olduğunda veya ikisi birlikte doğru olduğunda doğrudur. Yalnızca iki önerme de yanlışsa sonuç yanlıştır.

İse ($\to$) bağlacında ilk önerme koşul, ikinci önerme sonuç konumundadır. $p \to q$ yalnızca $p$ doğru ve $q$ yanlış olduğunda yanlıştır. Bunun dışındaki üç durumda doğru değerini alır.

Ancak ve ancak ($\leftrightarrow$) bağlacında iki önermenin doğruluk değerleri aynı olmalıdır. $p$ ve $q$ birlikte doğruysa veya birlikte yanlışsa $p \leftrightarrow q$ doğrudur; biri doğru, diğeri yanlışsa yanlıştır.

Burada önemli karar kuralı şudur: Bir bağlacın ne anlama geldiğini cümlenin günlük kullanımından tahmin etmek yerine, doğruluk değerlerinin hangi koşulda sonucu doğru yaptığını kontrol edin.

Dört satırlık doğruluk tablosunu okuma ve kurma

İki basit önerme kullanıldığında olası doğruluk değerleri dört satırda gösterilir. Bunun nedeni her önermenin iki değer alabilmesi ve iki önermenin birlikte dört farklı durum oluşturmasıdır. Standart sıralama şöyledir:

Bu temel sütunlar yazıldıktan sonra bağlacın sonuç sütunu doldurulur. Örneğin $p \land q$ için yalnızca ilk satırda sonuç 1'dir; çünkü yalnızca ilk satırda iki önerme de doğrudur. $p \lor q$ için ilk üç satırda sonuç 1'dir; yalnızca son satırda iki önerme de yanlıştır.

$\neg p$ için yalnızca $p$ sütununa bakılır ve değerler ters çevrilir:

Tabloyu kurarken satır atlamamak için önce tüm basit önermelerin sütunlarını tamamlayın. Birden fazla işlem içeren ifadelerde ara sonuç sütunları açın. Örneğin $(p \land q) \lor r$ ifadesinde önce $p \land q$ hesaplanır, ardından bu ara sonuç $r$ ile $\lor$ bağlacında birleştirilir. Ara sütun kullanmak, özellikle parantezli ifadelerde hangi işlemin önce yapıldığını görünür kılar.

"İse" bağlacının tek yanlış satırını bulma

$p \to q$ bağlacını anlamanın en pratik yolu, koşulun gerçekleştiği hâlde sonucun gerçekleşmediği durumu aramaktır. $p$ doğruyken $q$ yanlışsa verilen koşul bozulur ve ifade yanlış olur. Diğer satırlarda ifade doğru kabul edilir:

Bu tablo, günlük dildeki "Eğer yağmur yağarsa yerler ıslanır" örneğiyle açıklanabilir. Yağmur yağdığı hâlde yerler ıslanmıyorsa ifade bozulur. Yağmur yağmadığında ise bu koşullu önermenin doğruluk değeri, yerlerin ıslak olup olmamasına göre yanlış yapılmaz; her iki durum da tabloda doğru değerine karşılık gelir.

Bu sonuç, ifadenin gerçek hayatta nedenselliği kanıtladığı anlamına gelmez. Mantıksal açıdan yalnızca $p$ doğru ve $q$ yanlış satırının elendiğini gösterir. Bu nedenle "ise" bağlacını "iki önerme aynı anda doğru olmalı" şeklinde yorumlamak hatalıdır. İki önermenin aynı doğruluk değerine sahip olması, "ancak ve ancak" bağlacının ölçütüdür.

$\leftrightarrow$ bağlacı için tablo şöyledir:

Dolayısıyla $p \to q$ ile $p \leftrightarrow q$ aynı bağlaç değildir. İlkinde tek bir başarısızlık durumu, ikincisinde ise iki farklı doğruluk değeri arasındaki her durum yanlıştır.

Parantezleri kullanarak bileşik önermeyi sembolleştirme

Birden fazla bağlaç içeren ifadelerde belirsizliği önlemek için parantez kullanılmalı; parantez kaldırılacaksa ilgili işlem önceliği veya bağlanma kuralı açıkça belirtilmelidir. Örneğin "Lise diploması vardır ve YKS'den gerekli puanı geçmiştir veya olimpiyat madalyası kazanmıştır" ifadesi, niyete göre $(p \land q) \lor r$ şeklinde yazılabilir. Burada önce $p \land q$ değerlendirilir, sonra sonuç $r$ ile "veya" bağlacında birleştirilir.

Bu ifadenin karar kuralı şöyledir: $r$ doğruysa, sol taraftaki $(p \land q)$ yanlış olsa bile tüm ifade doğrudur. $r$ yanlışsa sonucun doğru olabilmesi için hem $p$ hem de $q$ doğru olmalıdır. Böylece sembolleştirme, sözel şartın hangi alternatifleri kabul ettiğini açıkça gösterir.

Parantez kaldırılırsa ifade belirsizleşebilir. $p \land (q \lor r)$ ile $(p \land q) \lor r$ aynı değildir. İlkinde $p$ her durumda gereklidir; ikincisinde ise $r$ tek başına doğru olduğunda bütün ifade doğru olabilir. Bu ayrımı görmek için aynı doğruluk değerlerini iki farklı ifadede yerine koymak gerekir.

Kümelerle bağlantı da burada kurulabilir. Kümelerde kesişim ($\cap$), mantıktaki "ve" bağlacına; birleşim ($\cup$), "veya" bağlacına; tümleyen ise "değil" işlemine benzer. Örneğin bir elemanın $A \cap B$ kümesinde olması, elemanın hem $A$ kümesinde hem de $B$ kümesinde bulunması demektir. Bu benzerlik, kümelerde işlemler konusundaki sembolleri yorumlamayı kolaylaştırır; ancak küme işlemlerindeki üyelik ifadesi ile önermenin kendisini birbirine karıştırmamak gerekir.

Çözümlü örnek: $(p \land q) \lor r$ ifadesini değerlendirme

Verilenler: $p$: Öğrencinin lise diploması vardır. $q$: Öğrenci YKS'de gerekli puanı geçmiştir. $r$: Öğrenci uluslararası bir olimpiyatta madalya kazanmıştır.

Bileşik ifade: $(p \land q) \lor r$

Doğruluk değerleri $p=1$, $q=0$, $r=1$ olsun.

Çözüm adımları:

1. Parantez içindeki işlem yapılır: $p \land q = 1 \land 0 = 0$. Çünkü "ve" bağlacında iki değerin de 1 olması gerekir.
2. Ara sonuç $r$ ile birleştirilir: $(p \land q) \lor r = 0 \lor 1$.
3. "Veya" bağlacında en az bir değerin 1 olması yeterlidir. Bu nedenle $0 \lor 1 = 1$.

Sonuç: Bileşik önerme doğrudur. Öğrenci YKS şartını karşılamasa da $r$ koşulu doğru olduğu için bu mantıksal ifadeye göre kabul şartı sağlanmıştır.

Aynı örnekte $p=1$, $q=0$, $r=0$ olsaydı önce $p \land q=0$ bulunur, ardından $0 \lor 0=0$ elde edilirdi. Bu durumda ifade yanlış olurdu. İki sonuç arasındaki farkı oluşturan, $r$ önermesinin doğruluk değeridir.

Çözümlü örnek: $p \to q$ ve $p \leftrightarrow q$ karşılaştırması

Verilenler: $p$: Yağmur yağıyor. $q$: Yerler ıslak.

Durum: $p=0$, $q=1$. Yani yağmur yağmıyor, fakat yerler ıslak.

Birinci ifade: $p \to q$

1. İlk önerme $p=0$ olduğu için koşul gerçekleşmemiştir.
2. $p \to q$ tablosunda $p=0$ olan iki satırda sonuç 1'dir.
3. Bu nedenle $0 \to 1 = 1$.

İkinci ifade: $p \leftrightarrow q$

1. $p=0$ ve $q=1$ değerleri birbirinden farklıdır.
2. "Ancak ve ancak" bağlacı iki değerin aynı olmasını ister.
3. Bu nedenle $0 \leftrightarrow 1 = 0$.

Sonuç: Aynı doğruluk değerleri için iki farklı bileşik önerme farklı sonuç verir: $p \to q$ doğrudur, $p \leftrightarrow q$ yanlıştır. Sınavda önce bağlacın türünü belirlemek, sonra ilgili tek satırı veya tabloyu kullanmak gerekir.

Sık yapılan hatalar ve karıştırılan kavramlar

1. "Veya"yı yalnızca bir seçenek sanmak: Matematiksel $\lor$ bağlacı, en az bir önermenin doğru olmasıyla çalışır; iki önermenin de doğru olduğu satır da doğrudur. Günlük dilde "ya da" bazen dışlayıcı anlamda kullanılabilir, fakat verilen sembol ve tanım dikkate alınmadan otomatik olarak XOR sonucu çıkarılamaz.

2. "İse" bağlacında yanlış satırı unutmak: $p \to q$ yalnızca $p=1$, $q=0$ iken yanlıştır. $p=0$ olan iki satırı yanlış yazmak, en yaygın tablo hatalarındandır.

3. "İse" ile "ancak ve ancak"ı aynı görmek: $p \to q$ tek yönlü koşul bildirir. $p \leftrightarrow q$ ise iki değerin eşitliğini arar. Birincide $0 \to 1$ doğruyken ikincide $0 \leftrightarrow 1$ yanlıştır.

4. Değilin yalnızca cümlenin son kelimesini değiştirdiğini sanmak: $\neg(p \land q)$, yalnızca $q$'nun değili değildir; parantez içindeki tüm bileşik ifadenin doğruluk değerini tersine çevirir. Bu yüzden değilin hangi ifadeyi kapsadığı parantezle gösterilmelidir.

5. Parantezleri atlamak: $(p \land q) \lor r$ ile $p \land (q \lor r)$ farklı karar kuralları üretir. Ara sonuç sütunu açmadan işlem yapmak, özellikle üç önermeli sorularda yanlış sonuca götürebilir.

6. Önerme olmayan cümleleri tabloya sokmak: Bağlama bağlı ifadelerde bağlam açıkça belirtilmelidir. Belirli bir bağlamda doğru veya yanlış değeri olan bildirme cümlesi önerme olarak kullanılabilir. Emir, soru ve doğruluk değeri olmayan ifadeler önerme olarak kullanılmaz.

7. Günlük anlamı mantıksal kuralla karıştırmak: Mantıksal doğruluk, cümlenin gerçek hayattaki nedenselliğini tek başına kanıtlamaz. Özellikle koşullu önermede tablo, yalnızca hangi doğruluk kombinasyonunda ifadenin yanlış olduğunu belirler.