Soru:
"Bu bitki çiçek açtıysa, bahar gelmiştir." önermesinin tersini, karşıtını ve karşıt tersini yazınız.
Çözüm:
💡 Bir koşullu önermenin (p → q) şeklinde olduğunu varsayalım. Bu durumda:
- ➡️ Verilen Önerme (Aslı): p → q.
p: "Bu bitki çiçek açar.", q: "Bahar gelir."
Önerme: "Bu bitki çiçek açtıysa, bahar gelmiştir."
- ➡️ Ters (Inverse): Öncül ve sonucun değilleri alınır. ¬p → ¬q
"Bu bitki çiçek açmadıysa, bahar gelmemiştir."
- ➡️ Karşıt (Converse): Öncül ve sonucun yeri değiştirilir. q → p
"Bahar geldiyse, bu bitki çiçek açmıştır."
- ➡️ Karşıt Ters (Contrapositive): Hem yerleri değiştirilir hem de değilleri alınır. ¬q → ¬p
"Bahar gelmediyse, bu bitki çiçek açmamıştır."
✅ Unutmayın! Bir koşullu önerme ile onun karşıt tersi mantıksal olarak denktir, yani aynı doğruluk değerine sahiptir.