Mantık ve argümantasyon temel kavramları test

Örnek 07 / 08
Soru:

"Ancak ve ancak" (\( \leftrightarrow \)) bağlacının doğruluk tablosu aşağıdakilerden hangisidir? Tabloyu oluşturup açıklayınız.

Çözüm:

"p ancak ve ancak q" ifadesi, iki yönlü koşullu önerme olarak adlandırılır. 💡 Anlamı, "eğer p ise q ve eğer q ise p" demektir. Yani p ile q'nun mantıksal eşdeğer olduğunu söyler. Her ikisi de aynı doğruluk değerine sahip olduğunda doğru, farklı olduğunda yanlıştır.

  • ➡️ Adım 1: p ve q'nun alabileceği tüm doğruluk değer kombinasyonlarını (Doğru-D, Yanlış-Y) yazalım.
  • ➡️ Adım 2: \(p \leftrightarrow q\) ifadesinin hangi durumlarda Doğru (D) hangi durumlarda Yanlış (Y) olacağını belirleyelim.
    • Durum 1: p = D, q = D → p ve q aynı. Sonuç: D
    • Durum 2: p = D, q = Y → p ve q farklı. Sonuç: Y
    • Durum 3: p = Y, q = D → p ve q farklı. Sonuç: Y
    • Durum 4: p = Y, q = Y → p ve q aynı. Sonuç: D

✅ Sonuç: Oluşan doğruluk tablosu aşağıdaki gibidir:

pqp \( \leftrightarrow \) q
DDD
DYY
YDY
YYD
1 2 3 4 5 6 7 8