Soru:
Aşağıdaki önermelerden hangisi \((p \rightarrow q) \land (q \rightarrow p)\) bileşik önermesine denktir?
- A) \(p \leftrightarrow q\)
- B) \(p \lor q\)
- C) \(p \land q\)
- D) \(p \rightarrow q\)
Çözüm:
💡 Bu soru, iki yönlü koşullu önermenin (ancak ve ancak) tanımını bilmeyi gerektirir.
- ➡️ Verilen önerme: \((p \rightarrow q) \land (q \rightarrow p)\)
- ➡️ Mantıkta, "p ise q ve q ise p" demek, "p ancak ve ancak q" demektir.
- ➡️ Bu, çift yönlü koşullu önerme olarak adlandırılır ve \(p \leftrightarrow q\) şeklinde gösterilir.
- ➡️ Doğruluk tablosu çizildiğinde de her iki önermenin aynı olduğu görülür.
✅ Verilen önermeye denk olan ifade \(p \leftrightarrow q\)'dur. Cevap A seçeneğidir.
