Soru:
Aşağıdaki önermelerin sembolik mantık dilinde karşılıklarını yazınız.
- p: "Yağmur yağıyor."
- q: "Yerler ıslak."
- Yağmur yağıyor ve yerler ıslak.
- Yağmur yağmıyor ancak yerler ıslak.
- Eğer yağmur yağıyorsa, o zaman yerler ıslaktır.
- Yerler ıslak değilse, yağmur yağmıyordur.
Çözüm:
💡 Bu soruda önermeleri sembolik mantık kurallarına göre ifade edeceğiz. p ve q önermelerimiz verilmiştir.
- ➡️ (a) şıkkı: "Ve" bağlacı ∧ sembolü ile gösterilir. Cevap: p ∧ q
- ➡️ (b) şıkkı: "Yağmur yağmıyor", p önermesinin değili yani ¬p dir. "Ancak" bağlacı da "ve" anlamına gelir. Cevap: ¬p ∧ q
- ➡️ (c) şıkkı: "Eğer ... ise, o zaman ..." koşullu önerme bağlacıdır ve → sembolü ile gösterilir. Cevap: p → q
- ➡️ (d) şıkkı: "Yerler ıslak değil" ¬q, "yağmur yağmıyordur" ise ¬p demektir. Bu da bir koşullu önermedir. Cevap: ¬q → ¬p
✅ Sembolik karşılıklar yukarıdaki gibidir.
