"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 hangi geçerli çıkarım kuralına örnektir?
Bu soruyu adım adım inceleyerek doğru çıkarım kuralını bulalım:
Öncelikle, verilen ifadeyi mantık sembolleriyle ifade edelim. Bu, akıl yürütmenin yapısını daha net görmemizi sağlar.
Şimdi, akıl yürütmemizin sembolik yapısını bir araya getirelim:
Şimdi seçeneklerde verilen çıkarım kurallarını ve sembolik yapılarını gözden geçirelim:
Eğer bir koşullu önerme ($P \rightarrow Q$) ve bu koşulun öncülü (P) doğruysa, o zaman sonucun (Q) da doğru olması gerektiğini belirten kuraldır.
Eğer bir koşullu önerme ($P \rightarrow Q$) doğruysa ve bu koşulun sonucu (Q) yanlışsa, o zaman koşulun öncülünün (P) de yanlış olması gerektiğini belirten kuraldır.
İki koşullu önermenin birbiriyle bağlantılı olduğu durumda, üçüncü bir koşullu önerme çıkarılmasına olanak tanıyan kuraldır.
İki önermeden birinin doğru olduğunu belirten bir ayrık önerme ($P \lor Q$) ve bu önermelerden birinin yanlış olduğu bilgisi verildiğinde, diğer önermenin doğru olması gerektiğini belirten kuraldır.
Akıl yürütmemizin sembolik yapısı şuydu:
Bu yapıya baktığımızda, Modus Tollens kuralının sembolik yapısıyla birebir örtüştüğünü görüyoruz. Koşullu bir önerme ($P \rightarrow Q$) ve sonucun değili ($\neg Q$) verilmiş, sonuç olarak da öncülün değili ($\neg P$) çıkarılmıştır.
Bu nedenle, verilen akıl yürütme Modus Tollens geçerli çıkarım kuralına bir örnektir.
Cevap B seçeneğidir.
