Geçerlilik nedir (Mantıkta) Test 2

"Eğer yağmur yağarsa, yerler ıslanır. Yerler ıslak değil. O halde yağmur yağmamıştır."
Bu akıl yürütme mantıkta hangi geçerli çıkarım kuralına örnektir?

A) Modus Ponens
B) Modus Tollens
C) Zincirleme Kıyas
D) Ayrık Tasım

Merhaba sevgili öğrenciler,

Bu soruda, verilen bir akıl yürütmenin mantıkta hangi geçerli çıkarım kuralına örnek olduğunu bulmamız isteniyor. Akıl yürütmeyi adım adım inceleyelim.

Akıl Yürütmeyi Anlayalım

Verilen akıl yürütmeyi mantıksal önermelere ayıralım:

• Birinci Önerme (Koşullu Önerme): "Eğer yağmur yağarsa, yerler ıslanır." Bu önermeyi sembolik olarak $P \rightarrow Q$ şeklinde ifade edebiliriz. Burada $P$ "Yağmur yağar" önermesini, $Q$ ise "Yerler ıslanır" önermesini temsil eder.
• İkinci Önerme: "Yerler ıslak değil." Bu, $Q$ önermesinin olumsuzu demektir, yani $\neg Q$.
• Sonuç: "O halde yağmur yağmamıştır." Bu da $P$ önermesinin olumsuzu demektir, yani $\neg P$.

Akıl yürütmenin genel yapısı şu şekildedir:

• $P \rightarrow Q$
• $\neg Q$
• $\therefore \neg P$ (Bu sembol "o halde" veya "sonuç olarak" anlamına gelir.)

Çıkarım Kurallarını İnceleyelim

Şimdi seçeneklerde verilen çıkarım kurallarını ve bu akıl yürütmeyle ilişkilerini inceleyelim:

• A) Modus Ponens (Onaylama Kuralı):

  Bu kuralın yapısı şöyledir:

  1. Eğer $P$ ise $Q$ ($P \rightarrow Q$)

  2. $P$ doğru.

  3. O halde $Q$ doğru.

  Örnek: "Eğer yağmur yağarsa, yerler ıslanır. Yağmur yağıyor. O halde yerler ıslanır." Verilen akıl yürütme bu yapıya uymamaktadır, çünkü ikinci öncül $P$'nin değil, $\neg Q$'nun doğru olduğunu belirtmektedir.

• B) Modus Tollens (Reddetme Kuralı):

  Bu kuralın yapısı şöyledir:

  1. Eğer $P$ ise $Q$ ($P \rightarrow Q$)

  2. $Q$ doğru değil ($\neg Q$).

  3. O halde $P$ doğru değil ($\neg P$).

  Verilen akıl yürütme tam olarak bu yapıya uymaktadır: "Eğer yağmur yağarsa ($P$), yerler ıslanır ($Q$). Yerler ıslak değil ($\neg Q$). O halde yağmur yağmamıştır ($\neg P$)." Bu kural, koşullu bir önermenin sonucunun yanlış olduğunu bilerek, başlangıç koşulunun da yanlış olduğunu çıkarsamamızı sağlar.

• C) Zincirleme Kıyas (Hipotezsel Kıyas):

  Bu kuralın yapısı şöyledir:

  1. Eğer $P$ ise $Q$ ($P \rightarrow Q$)

  2. Eğer $Q$ ise $R$ ($Q \rightarrow R$)

  3. O halde eğer $P$ ise $R$ ($P \rightarrow R$).

  Örnek: "Eğer yağmur yağarsa, yerler ıslanır. Eğer yerler ıslanırsa, insanlar şemsiye açar. O halde eğer yağmur yağarsa, insanlar şemsiye açar." Verilen akıl yürütme bu yapıya uymamaktadır, çünkü birden fazla koşullu önerme ve bir zincirleme ilişki içermemektedir.

• D) Ayrık Tasım (Disjunctive Syllogism):

  Bu kuralın yapısı şöyledir:

  1. $P$ veya $Q$ ($P \lor Q$)

  2. $P$ doğru değil ($\neg P$).

  3. O halde $Q$ doğru.

  Örnek: "Yağmur yağıyor veya hava güneşli. Yağmur yağmıyor. O halde hava güneşli." Verilen akıl yürütme bu yapıya uymamaktadır, çünkü "veya" ($ \lor $) bağlacını içeren bir ayrık önerme içermemektedir.

Yukarıdaki incelemeler sonucunda, verilen akıl yürütmenin yapısının Modus Tollens kuralına birebir uyduğu açıkça görülmektedir.

Cevap B seçeneğidir.