Sevgili öğrenciler, bu soruda verilen çıkarımın hangi geçerli akıl yürütme biçimine ait olduğunu anlamak için, öncelikle çıkarımı mantıksal sembollerle ifade edelim ve ardından seçenekleri inceleyelim.
- Adım 1: Çıkarımı Mantıksal Önermelere Ayırma
Verilen çıkarım şöyledir: "Eğer yağmur yağarsa, yerler ıslanır. Yerler ıslak değil. O halde yağmur yağmamıştır."
- Birinci önermeyi tanımlayalım: "Yağmur yağar" ifadesine P diyelim.
- İkinci önermeyi tanımlayalım: "Yerler ıslanır" ifadesine Q diyelim.
- Adım 2: Çıkarımın Mantıksal Yapısını Belirleme
Şimdi çıkarımı bu sembollerle ifade edelim:
- "Eğer yağmur yağarsa, yerler ıslanır." Bu, koşullu bir önermedir ve mantıksal olarak $P \implies Q$ şeklinde gösterilir. (P doğruysa Q da doğrudur.)
- "Yerler ıslak değil." Bu, Q önermesinin değillemesidir (olumsuzu). Mantıksal olarak $\neg Q$ şeklinde gösterilir. (Q doğru değildir.)
- "O halde yağmur yağmamıştır." Bu, P önermesinin değillemesidir. Mantıksal olarak $\neg P$ şeklinde gösterilir. (P doğru değildir.)
Bu durumda, çıkarımın genel yapısı şu şekildedir:
- $P \implies Q$
- $\neg Q$
- $\therefore \neg P$ (Bu sembol "o halde" veya "sonuç olarak" anlamına gelir.)
- Adım 3: Seçenekleri İnceleme
Şimdi bu yapıyı verilen akıl yürütme biçimleriyle karşılaştıralım:
- A) Modus Ponens: Bu akıl yürütme biçimi, koşullu bir önerme ve bu koşulun gerçekleştiği bilgisinden yola çıkarak sonucu doğrular. Yapısı şöyledir:
- $P \implies Q$
- $P$
- $\therefore Q$
Bizim çıkarımımız bu yapıya uymuyor.
- B) Modus Tollens: Bu akıl yürütme biçimi, koşullu bir önerme ve bu koşulun sonucunun gerçekleşmediği bilgisinden yola çıkarak koşulun kendisinin de gerçekleşmediğini doğrular. Yapısı şöyledir:
- $P \implies Q$
- $\neg Q$
- $\therefore \neg P$
Gördüğünüz gibi, bizim çıkarımımızın yapısı ($P \implies Q$, $\neg Q$, $\therefore \neg P$) Modus Tollens ile tamamen aynıdır.
- C) Zincirleme Kıyas (Hipotezik Kıyas): Bu akıl yürütme biçimi, iki koşullu önermenin birbiriyle bağlantılı olduğu durumlarda kullanılır. Yapısı şöyledir:
- $P \implies Q$
- $Q \implies R$
- $\therefore P \implies R$
Bizim çıkarımımız bu yapıya uymuyor.
- D) Ayrık Tasım (Disjonktif Kıyas): Bu akıl yürütme biçimi, iki seçeneğin olduğu bir önermede seçeneklerden birinin yanlış olduğu bilgisinden yola çıkarak diğer seçeneğin doğru olduğunu doğrular. Yapısı şöyledir:
- $P \lor Q$ (P veya Q)
- $\neg P$
- $\therefore Q$
Bizim çıkarımımız bu yapıya uymuyor.
Sonuç olarak, verilen çıkarım Modus Tollens akıl yürütme biçimine bir örnektir çünkü bir koşullu önermenin sonucunun yanlış olmasından yola çıkarak koşulun kendisinin de yanlış olduğunu göstermektedir.
Cevap B seçeneğidir.
