Karşı olum karesinde "Hiçbir gezegen canlı değildir" önermesinin üst karşıtı hangi önermedir?
A) Bütün gezegenler canlıdır
B) Bazı gezegenler canlıdır
C) Bazı gezegenler canlı değildir
D) Hiçbir gezegen canlıdır
Merhaba sevgili öğrenciler,
Bu soruyu çözmek için mantıkta çok önemli bir araç olan "Karşı Olum Karesi"ni hatırlamamız gerekiyor. Adım adım ilerleyelim:
-
1. Verilen Önermeyi Tanımlayalım:
Soruda verilen önerme "Hiçbir gezegen canlı değildir" ifadesidir. Bu önerme, bütün gezegenlerin canlı olmadığını ifade eder ve evrensel (bütün) bir olumsuzluk içerir. Mantıkta bu tür önermelere E Tipi Önerme (Evrensel Olumsuz) denir.
-
2. Karşı Olum Karesini Hatırlayalım:
Karşı Olum Karesi, dört temel önerme tipi arasındaki ilişkileri gösterir:
- A Tipi (Evrensel Olumlu): Bütün S, P'dir. (Örn: Bütün gezegenler canlıdır.)
- E Tipi (Evrensel Olumsuz): Hiçbir S, P değildir. (Örn: Hiçbir gezegen canlı değildir.)
- I Tipi (Tikel Olumlu): Bazı S, P'dir. (Örn: Bazı gezegenler canlıdır.)
- O Tipi (Tikel Olumsuz): Bazı S, P değildir. (Örn: Bazı gezegenler canlı değildir.)
Bu önermeler arasında farklı ilişkiler bulunur:
- Karşıt (Contraries): A ve E tipi önermeler arasında bulunur. Her ikisi de evrenseldir ancak nitelikleri farklıdır (biri olumlu, diğeri olumsuz). İkisi birden doğru olamaz ama ikisi birden yanlış olabilir.
- Çelişik (Contradictories): A-O ve E-I tipi önermeler arasında bulunur. Hem nicelikleri hem de nitelikleri farklıdır. Biri doğruysa diğeri kesinlikle yanlıştır ve biri yanlışsa diğeri kesinlikle doğrudur.
- Alt Karşıt (Subcontraries): I ve O tipi önermeler arasında bulunur. Her ikisi de tikeldir ancak nitelikleri farklıdır. İkisi birden yanlış olamaz ama ikisi birden doğru olabilir.
- Altık (Subalterns): A-I ve E-O tipi önermeler arasında bulunur. Evrenselden tikele doğru olan ilişkidir (örn: A doğruysa I da doğrudur).
-
3. "Üst Karşıt" İlişkisini Bulalım:
Soruda "Hiçbir gezegen canlı değildir" (E tipi) önermesinin "üst karşıtı" soruluyor. Mantıkta "üst karşıt" terimi genellikle karşıt (contrary) ilişkiyi ifade eder. E tipi bir önermenin karşıtı, A tipi bir önermedir.
- Verilen önerme (E Tipi): "Hiçbir gezegen canlı değildir."
- Bu önermenin karşıtı (A Tipi): Evrensel ve olumlu bir önerme olmalıdır.
-
4. Cevabı Oluşturalım:
E tipi önermenin ("Hiçbir gezegen canlı değildir") karşıtı olan A tipi önerme, "Bütün gezegenler canlıdır" şeklinde ifade edilir.
-
5. Seçenekleri Kontrol Edelim:
- A) Bütün gezegenler canlıdır (A Tipi)
- B) Bazı gezegenler canlıdır (I Tipi)
- C) Bazı gezegenler canlı değildir (O Tipi)
- D) Hiçbir gezegen canlıdır (Bu ifade mantıksal olarak hatalıdır, "Hiçbir gezegen canlı değildir" olmalıydı, ki o da zaten E tipi önermenin kendisidir.)
Bulduğumuz "Bütün gezegenler canlıdır" önermesi A seçeneğinde yer almaktadır.
Cevap A seçeneğidir.
