Çözümlü Örnek 2
Soru:
"Hiçbir gezegen yıldız değildir" (E tipi) önermesinin çelişiği olan önermeyi yazınız ve türünü belirtiniz.
Çözüm:
🧠 Bu soruda E tipi (Tümel Olumsuz) bir önermenin çelişiğini bulmamız isteniyor. Karesel karşıtlıkta E ile I önermeleri birbirleriyle çelişiktir.
- ➡️ Adım 1: Önermemizi standart forma getirelim: "Hiçbir S, P değildir" → E: \(\forall x (S(x) \rightarrow \neg P(x))\)
- ➡️ Adım 2: E'nin çelişiği I (Tikel Olumlu) önermesidir. I önermesi "Bazı S'ler P'dir" şeklindedir.
- ➡️ Adım 3: Önermemize uygulayalım. E: "Hiçbir gezegen yıldız değildir" ise, bunun çelişiği I: "Bazı gezegenler yıldızdır" olacaktır.
✅ Sonuç: Çelişik önerme: "Bazı gezegenler yıldızdır." Bu önerme I tipi (Tikel Olumlu) bir önermedir.
