"Yağmur yağıyorsa yerler ıslaktır." önermesi ile "Yerler ıslak değilse yağmur yağmıyordur." önermesi arasında nasıl bir mantıksal ilişki vardır?
A) Çelişki
B) Karşıtlık
C) Eşdeğerlik
D) Altıklık
Bu soruyu adım adım inceleyerek doğru cevaba ulaşalım:
Öncelikle verilen önermeleri sembolik mantık diline çevirelim.
Birinci önerme: "Yağmur yağıyorsa yerler ıslaktır."
"Yağmur yağıyor" ifadesine P diyelim.
"Yerler ıslaktır" ifadesine Q diyelim.
Bu durumda birinci önerme $P \implies Q$ şeklinde ifade edilir. (P ise Q)
İkinci önerme: "Yerler ıslak değilse yağmur yağmıyordur."
"Yerler ıslak değil" ifadesi, "Yerler ıslaktır" ifadesinin olumsuzu olduğu için $\neg Q$ (Q'nun değili) olur.
"Yağmur yağmıyor" ifadesi, "Yağmur yağıyor" ifadesinin olumsuzu olduğu için $\neg P$ (P'nin değili) olur.
Bu durumda ikinci önerme $\neg Q \implies \neg P$ şeklinde ifade edilir. (Q'nun değili ise P'nin değili)
Şimdi bu iki önerme arasındaki ilişkiyi inceleyelim. Mantıkta, bir koşullu önermenin ($P \implies Q$) karşıt tersi (contrapositive) $\neg Q \implies \neg P$ şeklindedir.
Mantık kurallarına göre, bir koşullu önerme ile onun karşıt tersi her zaman mantıksal olarak eşdeğerdir. Yani, her iki önerme de aynı doğruluk değerine sahiptir. Eğer biri doğruysa diğeri de doğrudur, biri yanlışsa diğeri de yanlıştır.
Örneğin, "Eğer bir sayı çift ise, o zaman 2'ye bölünebilir." ($P \implies Q$) önermesi ile "Eğer bir sayı 2'ye bölünemiyorsa, o zaman çift değildir." ($\neg Q \implies \neg P$) önermesi aynı anlama gelir ve aynı doğruluk değerini taşır.
Bu durumda, "Yağmur yağıyorsa yerler ıslaktır." ($P \implies Q$) önermesi ile "Yerler ıslak değilse yağmur yağmıyordur." ($\neg Q \implies \neg P$) önermesi birbirinin karşıt tersi olduğu için eşdeğerdirler.
