Soru:
"Yağmur yağarsa yerler ıslanır. Yerler ıslak değil. O halde yağmur yağmamıştır." argümanının geçerlilik durumunu inceleyiniz. Bu argümanın formu aşağıdakilerden hangisidir?
- a) Modus Ponens
- b) Modus Tollens
- c) Zincirleme Kıyas
- d) Ayrıcı Tasım
Çözüm:
💡 Geçerlilik, argümanın yapısı/formu ile ilgilidir. Öncüller doğru kabul edildiğinde sonucun mutlaka doğru olması gerekir.
- ➡️ Argümanı sembolize edelim: P: "Yağmur yağar", Q: "Yerler ıslanır".
Öncül 1: P → Q (Eğer P ise Q)
Öncül 2: ¬Q (Q değil)
Sonuç: ¬P (P değil)
- ➡️ Bu yapıyı inceleyelim. Öncül 1, P'nin Q'yu gerektirdiğini söyler. Öncül 2 ise Q'nun olmadığını söyler. Eğer Q yoksa, onu gerektiren P de olamaz. Bu, mantıksal olarak zorunlu bir çıkarımdır.
- ➡️ Bu formun adı Modus Tollens'tir (Olumsuzluk Kipi).
✅ Cevap: b) Modus Tollens. Bu argümanın formu geçerlidir.