Klasik mantıkta \( \forall x (Px \rightarrow Qx) \) biçimindeki bir önermenin contradiction'ı (çelişiği) nedir?
A) \( \forall x (Px \land \neg Qx) \)
B) \( \exists x (Px \land \neg Qx) \)
C) \( \forall x (\neg Px \lor Qx) \)
D) \( \exists x (\neg Px \land Qx) \)
Merhaba sevgili öğrenciler!
Klasik mantıkta bir önermenin çelişiğini (contradiction) bulmak, o önermenin tam tersini ifade eden, yani önerme doğruyken yanlış, yanlışken doğru olan bir ifadeyi bulmak demektir. Matematiksel olarak, bir $A$ önermesinin çelişiği $ \neg A $ ile gösterilir.
Şimdi adım adım verilen önermenin çelişiğini bulalım:
- 1. Adım: Orijinal Önermeyi Anlayalım
- Verilen önerme $ \forall x (Px \rightarrow Qx) $ şeklindedir.
- Bu önerme, "Her $x$ için, eğer $x$ $P$ özelliğine sahipse, o zaman $x$ $Q$ özelliğine de sahiptir" anlamına gelir. Daha basit bir ifadeyle, "Tüm $P$'ler $Q$'dur" demektir.
- 2. Adım: Çelişik İçin Değilleme İşlemini Uygulayalım
- Bir önermenin çelişiğini bulmak için o önermenin önüne değilleme (negation) işareti $ \neg $ getiririz.
- Yani, $ \neg (\forall x (Px \rightarrow Qx)) $ ifadesini bulmamız gerekiyor.
- 3. Adım: Niceleyicinin Değillemesini Yapalım
- Evrensel niceleyici $ \forall x $ (her $x$ için) değillendiğinde, varoluşsal niceleyici $ \exists x $ (en az bir $x$ vardır ki) olur ve değilleme işareti niceleyicinin içindeki ifadeye geçer.
- Kural: $ \neg (\forall x A(x)) \equiv \exists x (\neg A(x)) $
- Bu kuralı uyguladığımızda, $ \neg (\forall x (Px \rightarrow Qx)) $ ifadesi $ \exists x (\neg (Px \rightarrow Qx)) $ haline gelir.
- 4. Adım: İmplikasyonun (Koşullu Önermenin) Değillemesini Yapalım
- Şimdi $ \neg (Px \rightarrow Qx) $ ifadesini basitleştirmemiz gerekiyor.
- Mantıkta, bir koşullu önerme $ P \rightarrow Q $ ifadesi $ \neg P \lor Q $ ifadesine denktir (eşdeğerdir).
- Dolayısıyla, $ \neg (P \rightarrow Q) $ ifadesi $ \neg (\neg P \lor Q) $ haline gelir.
- De Morgan kurallarını hatırlayalım: $ \neg (A \lor B) \equiv \neg A \land \neg B $.
- Bu kuralı uyguladığımızda, $ \neg (\neg P \lor Q) $ ifadesi $ \neg (\neg P) \land (\neg Q) $ olur.
- $ \neg (\neg P) $ ise $ P $ demektir (çift değilleme kuralı).
- Sonuç olarak, $ \neg (Px \rightarrow Qx) $ ifadesi $ Px \land \neg Qx $ haline gelir.
- 5. Adım: Sonuçları Birleştirelim
- 3. adımdan elde ettiğimiz $ \exists x (\neg (Px \rightarrow Qx)) $ ifadesindeki $ \neg (Px \rightarrow Qx) $ yerine 4. adımdan bulduğumuz $ Px \land \neg Qx $ ifadesini yazalım.
- Böylece, önermenin çelişiği $ \exists x (Px \land \neg Qx) $ olarak bulunur.
- 6. Adım: Anlamını Kontrol Edelim
- $ \exists x (Px \land \neg Qx) $ önermesi, "En az bir $x$ vardır ki, $x$ $P$ özelliğine sahiptir ve $x$ $Q$ özelliğine sahip değildir" anlamına gelir. Daha basit bir ifadeyle, "Bazı $P$'ler $Q$ değildir" demektir.
- Eğer "Tüm $P$'ler $Q$'dur" önermesi yanlışsa, bu durumda mutlaka "Bazı $P$'ler $Q$ değildir" önermesi doğru olmalıdır. Bu da bulduğumuz çelişiğin doğru olduğunu gösterir.
Seçeneklere baktığımızda, bulduğumuz $ \exists x (Px \land \neg Qx) $ ifadesi B seçeneğinde yer almaktadır.
Cevap B seçeneğidir.
