"Eğer hava yağmurlu ise, yerler ıslaktır." önermesinin karşıtı ile ilgili aşağıdakilerden hangisi doğrudur?
A) Karşıt önerme "Eğer yerler ıslak ise, hava yağmurludur" şeklindedir
B) Karşıt önerme orijinal önerme ile mantıksal olarak eşdeğerdir
C) Karşıt önermenin doğruluğu orijinal önermenin doğruluğunu garanti eder
D) Karşıt önerme her zaman yanlıştır
Merhaba sevgili öğrenciler!
Bu soruda, mantıkta sıkça karşılaştığımız "koşullu önerme" ve onun "karşıtı" kavramlarını inceleyeceğiz. Adım adım ilerleyelim:
-
1. Orijinal Önermeyi Anlayalım:
Verilen önerme şudur: "Eğer hava yağmurlu ise, yerler ıslaktır."
Bu bir koşullu önermedir ve genellikle "$P \implies Q$" şeklinde gösterilir. Burada:
- P (Hipotez/Koşul): "Hava yağmurludur."
- Q (Sonuç): "Yerler ıslaktır."
Yani önermemiz "$P \implies Q$" şeklindedir.
-
2. "Karşıt Önerme" (Converse) Nedir?
Bir koşullu önermenin karşıtı (converse), hipotez (P) ile sonuç (Q) yer değiştirdiğinde elde edilen yeni önermedir.
Eğer orijinal önerme "$P \implies Q$" ise, onun karşıtı "$Q \implies P$" şeklinde olur.
-
3. Orijinal Önermenin Karşıtını Bulalım:
Orijinal önermemiz: "Eğer hava yağmurlu ise (P), yerler ıslaktır (Q)."
Karşıt önerme için P ve Q'nun yerini değiştirmeliyiz:
"Eğer yerler ıslak ise (Q), hava yağmurludur (P)."
-
4. Seçenekleri Değerlendirelim:
- A) Karşıt önerme "Eğer yerler ıslak ise, hava yağmurludur" şeklindedir. Bu, bizim bulduğumuz karşıt önerme ile tamamen aynıdır. Dolayısıyla bu seçenek doğrudur.
- B) Karşıt önerme orijinal önerme ile mantıksal olarak eşdeğerdir. Bu genellikle doğru değildir. Bir önerme ile karşıtı her zaman mantıksal olarak eşdeğer olmak zorunda değildir. Örneğin, "Eğer bir hayvan köpektir ise, o bir memelidir" önermesi doğruyken, karşıtı "Eğer bir hayvan memelidir ise, o bir köpektir" önermesi yanlıştır.
- C) Karşıt önermenin doğruluğu orijinal önermenin doğruluğunu garanti eder. Bu da genellikle doğru değildir. Yukarıdaki köpek/memeli örneğinde olduğu gibi, orijinal önerme doğru olsa bile karşıtı yanlış olabilir. Veya karşıtı doğru olsa bile orijinal önerme yanlış olabilir (çok nadir durumlarda). Mantıksal eşdeğerlik olmadıkça böyle bir garanti yoktur.
- D) Karşıt önerme her zaman yanlıştır. Bu kesinlikle yanlıştır. Karşıt önerme, duruma göre doğru da yanlış da olabilir. Örneğin, "Eğer bir sayı çifttir ise, o sayı 2'ye bölünebilir" önermesi doğruyken, karşıtı "Eğer bir sayı 2'ye bölünebilir ise, o sayı çifttir" önermesi de doğrudur.
Bu adımları takip ettiğimizde, doğru cevabın A seçeneği olduğunu açıkça görüyoruz.
Cevap A seçeneğidir.
