Mantıkta, önermeler arasındaki ilişkileri görselleştirmek ve anlamak için kullanılan önemli bir araç 'Karşı Olum Karesi'dir. Bu karede dört temel önerme tipi bulunur:
- A: Tümel Olumlu (Bütün S'ler P'dir) - Örneğin: "Bütün insanlar ölümlüdür."
- E: Tümel Olumsuz (Hiçbir S P değildir) - Örneğin: "Hiçbir insan dört ayaklı değildir."
- I: Tikel Olumlu (Bazı S'ler P'dir) - Örneğin: "Bazı insanlar öğrencidir."
- O: Tikel Olumsuz (Bazı S'ler P değildir) - Örneğin: "Bazı insanlar öğrenci değildir."
Şimdi sorumuzdaki A (Tümel Olumlu) ve O (Tikel Olumsuz) önermeleri arasındaki ilişkiyi inceleyelim:
- Tümel Olumlu (A) önermesi: "Bütün S'ler P'dir" şeklindedir. Bu önerme, bir kümenin tüm üyelerinin belirli bir özelliğe sahip olduğunu iddia eder.
- Tikel Olumsuz (O) önermesi: "Bazı S'ler P değildir" şeklindedir. Bu önerme, bir kümenin en az bir üyesinin belirli bir özelliğe sahip olmadığını iddia eder.
Bu iki önerme arasındaki ilişkiyi bir örnekle açıklayalım:
- A önermesi: "Bütün kediler dört ayaklıdır." (Bu önerme doğru kabul edilebilir.)
- O önermesi: "Bazı kediler dört ayaklı değildir." (Eğer A önermesi doğruysa, bu O önermesi kesinlikle yanlış olmak zorundadır.)
Başka bir örnek:
- A önermesi: "Bütün kuşlar uçar." (Bu önerme yanlıştır, çünkü penguenler gibi uçamayan kuşlar vardır.)
- O önermesi: "Bazı kuşlar uçmaz." (Eğer A önermesi yanlışsa, bu O önermesi kesinlikle doğru olmak zorundadır.)
Görüldüğü gibi, Tümel Olumlu (A) ve Tikel Olumsuz (O) önermeleri aynı anda hem doğru hem de aynı anda hem yanlış olamazlar. Eğer biri doğruysa diğeri kesinlikle yanlıştır; eğer biri yanlışsa diğeri kesinlikle doğrudur. Bu tür bir ilişkiye çelişik ilişki denir.
Diğer seçenekleri de kısaca gözden geçirelim:
- A) Altık: Tümel (A veya E) ile Tikel (I veya O) önermeler arasındaki ilişkidir. Örneğin A ile I veya E ile O arasındaki ilişki. Tümel doğruysa tikel de doğrudur, ama tikel doğruysa tümel doğru olmak zorunda değildir.
- B) Üst karşıt: Tümel Olumlu (A) ile Tümel Olumsuz (E) önermeleri arasındaki ilişkidir. Bunlar aynı anda doğru olamazlar ama aynı anda yanlış olabilirler.
- D) Alt karşıt: Tikel Olumlu (I) ile Tikel Olumsuz (O) önermeleri arasındaki ilişkidir. Bunlar aynı anda yanlış olamazlar ama aynı anda doğru olabilirler.
Bu açıklamalar ışığında, Tümel Olumlu (A) ve Tikel Olumsuz (O) önermeler arasındaki mantıksal ilişki "çelişik"tir.
Cevap C seçeneğidir.
