"Hiçbir gezegen yıldız değildir" önermesinin karşıtı (kontrari) nedir?
A) Tüm gezegenler yıldızdır
B) Bazı gezegenler yıldızdır
C) Bazı gezegenler yıldız değildir
D) Hiçbir yıldız gezegen değildir
Merhaba sevgili öğrenciler,
Bu soruda, mantıkta önermeler arasındaki ilişkilerden biri olan "karşıtlık" (kontrari) ilişkisini bulmamız isteniyor. Gelin, adım adım bu ilişkiyi inceleyelim:
- Öncelikle, bize verilen önermeyi belirleyelim: "Hiçbir gezegen yıldız değildir."
- Bu önerme, mantıkta "Evrensel Olumsuz" (E tipi) bir önermedir. Yani, bir kümenin hiçbir elemanının diğer kümenin elemanı olmadığını ifade eder.
- Mantıkta önermeler arasındaki ilişkileri gösteren "Karşıtlık Karesi"ne göre, Evrensel Olumsuz (E tipi) bir önermenin karşıtı (kontrari), "Evrensel Olumlu" (A tipi) bir önermedir.
- Evrensel Olumlu (A tipi) önermeler, bir kümenin tüm elemanlarının diğer kümenin elemanı olduğunu ifade eder. Örneğin: "Tüm S'ler P'dir."
- E tipi ve A tipi önermeler, aynı anda doğru olamazlar (eğer biri doğruysa diğeri kesinlikle yanlıştır), ancak aynı anda yanlış olabilirler.
- Şimdi, "Hiçbir gezegen yıldız değildir" (E tipi) önermesinin karşıtını bulmak için, aynı özne (gezegen) ve yüklem (yıldız) kullanarak bir A tipi önerme oluşturmalıyız.
- Bu durumda, "Tüm gezegenler yıldızdır" önermesi, verilen E tipi önermenin karşıtı (kontrari) olacaktır.
- Seçeneklere baktığımızda:
- A) Tüm gezegenler yıldızdır: Bu, Evrensel Olumlu (A tipi) bir önermedir ve E tipi önermenin karşıtıdır.
- B) Bazı gezegenler yıldızdır: Bu, Tikel Olumlu (I tipi) bir önermedir ve verilen E tipi önermenin çelişiğidir (contradictory).
- C) Bazı gezegenler yıldız değildir: Bu, Tikel Olumsuz (O tipi) bir önermedir.
- D) Hiçbir yıldız gezegen değildir: Bu, verilen önermenin basit döndürmesidir (conversion) ve mantıksal olarak eşdeğerdir, ancak karşıtı değildir.
Bu analiz sonucunda, "Hiçbir gezegen yıldız değildir" önermesinin karşıtı "Tüm gezegenler yıldızdır" önermesidir.
Cevap A seçeneğidir.
