Soru:
"Eğer hava yağmurlu ise, yerler ıslaktır." önermesinin karşıtını, tersini ve karşıt tersini yazınız.
Çözüm:
💡 Verilen koşullu önermeyi p → q şeklinde ifade edelim. (p: Hava yağmurlu, q: Yerler ıslak)
- ➡️ Karşıt: p → q önermesinin karşıtı q → p'dir. Yani, "Yerler ıslak ise, hava yağmurludur."
- ➡️ Ters: p → q önermesinin tersi p' → q' dir. Yani, "Hava yağmurlu değil ise, yerler ıslak değildir."
- ➡️ Karşıt Ters: p → q önermesinin karşıt tersi q' → p' dir. Yani, "Yerler ıslak değil ise, hava yağmurlu değildir."
✅ Bir koşullu önerme ile onun karşıt tersi mantıksal olarak denktir.