Soru:
"Eğer yağmur yağarsa, yerler ıslaktır. Yerler ıslak değil."
Bu öncüllere dayanarak hangi sonuca ulaşılabilir? Çıkarımın mantıksal kuralını adlandırınız.
Çözüm:
⚡ Bu, tümdengelim mantığının en net kurallarından biridir. "Modus Tollens" olarak adlandırılır.
- ➡️ 1. Adım: Öncülleri sembolize edelim. \( P \): "Yağmur yağar.", \( Q \): "Yerler ıslaktır."
- ➡️ 2. Adım: Birinci öncül: \( P \implies Q \) (Eğer P ise Q).
- ➡️ 3. Adım: İkinci öncül: \( \neg Q \) (Q değil, yani yerler ıslak değil).
- ➡️ 4. Adım: Modus Tollens kuralı şunu söyler: \( (P \implies Q) \land \neg Q \) ise, sonuç \( \neg P \)'dir. Yani, "Q olmaması, P'nin de olmadığı anlamına gelir."
✅ Sonuç: "O halde, yağmur yağmamıştır." Çıkarımın mantıksal kuralı: Modus Tollens.
