"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.
✅ Sonuç: Oluşan doğruluk tablosu aşağıdaki gibidir:
| p | q | p \( \leftrightarrow \) q |
|---|---|---|
| D | D | D |
| D | Y | Y |
| Y | D | Y |
| Y | Y | D |