Bu soruyu çözmek için öncelikle mantıkta "çelişik önerme" kavramını ve önermelerin türlerini anlamamız gerekiyor.
- Çelişik Önerme Nedir?
İki önerme, aynı anda hem doğru hem de yanlış olamıyorsa, yani birinin doğru olması diğerinin yanlış olmasını, birinin yanlış olması diğerinin doğru olmasını zorunlu kılıyorsa bu önermeler birbirine çelişiktir.
- Kategorik Önerme Türleri:
Mantıkta dört temel kategorik önerme türü vardır:
- A Tipi (Tümel Olumlu): Tüm S'ler P'dir (Örnek: Tüm insanlar ölümlüdür.)
- E Tipi (Tümel Olumsuz): Hiçbir S P değildir (Örnek: Hiçbir insan ölümsüz değildir.)
- I Tipi (Tikel Olumlu): Bazı S'ler P'dir (Örnek: Bazı insanlar zekidir.)
- O Tipi (Tikel Olumsuz): Bazı S'ler P değildir (Örnek: Bazı insanlar zeki değildir.)
- Çelişik İlişkiler:
Bu önerme türleri arasında belirli çelişik ilişkiler vardır:
- A Tipi (Tümel Olumlu) ile O Tipi (Tikel Olumsuz) birbirine çelişiktir.
- E Tipi (Tümel Olumsuz) ile I Tipi (Tikel Olumlu) birbirine çelişiktir.
- Sorudaki Önerme:
Soruda verilen önerme "Bazı S'ler P'dir" şeklindedir. Bu, I Tipi (Tikel Olumlu) bir önermedir.
- Çelişik Önermeyi Bulma:
Yukarıdaki çelişik ilişkiler kuralına göre, I Tipi bir önermenin çelişiği E Tipi (Tümel Olumsuz) bir önerme olmalıdır. Yani, "Hiçbir S P değildir" şeklindeki bir önerme, "Bazı S'ler P'dir" önermesiyle çelişir.
- Seçenekleri İnceleyelim:
- A) Hiçbir S P değildir: Bu, E Tipi bir önermedir. "Bazı S'ler P'dir" (I Tipi) önermesiyle çelişir. Eğer "Bazı S'ler P'dir" doğruysa, "Hiçbir S P değildir" yanlış olmak zorundadır ve tam tersi.
- B) Tüm S'ler P'dir: Bu, A Tipi bir önermedir. I Tipi ile çelişik değildir. (A doğruysa I de doğrudur, ama A yanlışsa I doğru veya yanlış olabilir.)
- C) Bazı S'ler P değildir: Bu, O Tipi bir önermedir. I Tipi ile çelişik değildir, alt karşıt (subcontrary) ilişkisi vardır. (İkisi birden doğru olabilir, ama ikisi birden yanlış olamaz.)
- D) Tüm S'ler P değildir: Bu ifade, genellikle "Hiçbir S P değildir" (E Tipi) anlamında kullanılır. Ancak bazen "Her S, P değildir" şeklinde yorumlanarak "Bazı S'ler P değildir" (O Tipi) anlamına da gelebilir. Ancak A seçeneği, E tipi önermenin en net ve doğrudan ifadesidir ve I tipi önermenin kesin çelişiğidir.
Bu analiz sonucunda, "Bazı S'ler P'dir" önermesiyle çelişen önerme, E Tipi olan "Hiçbir S P değildir" önermesidir.
Cevap A seçeneğidir.
