Aşağıdaki sembolik mantık ifadelerinden hangisi \( p \to q \) önermesinin tersidir?
A) \( q \to p \)
B) \( \neg p \to \neg q \)
C) \( \neg q \to \neg p \)
D) \( p \vee q \)
Sevgili öğrenciler, bu soruda $ p \to q $ önermesinin tersini bulmamız isteniyor. Mantıkta bir önermenin tersini, karşıtını ve karşıt tersini bilmek çok önemlidir.
- Orijinal Önerme (Koşullu Önerme): $ p \to q $
- Bu önerme, "Eğer $ p $ doğruysa, o zaman $ q $ da doğrudur" anlamına gelir.
Şimdi, bir koşullu önermenin tersi, karşıtı ve karşıt tersi kavramlarını hatırlayalım:
- 1. Karşıtı (Converse): Bir $ p \to q $ önermesinin karşıtı, hipotez ($ p $) ile sonuç ($ q $) yer değiştirdiğinde elde edilen önermedir. Yani, $ q \to p $.
- 2. Tersi (Inverse): Bir $ p \to q $ önermesinin tersi, hem hipotezin ($ p $) hem de sonucun ($ q $) değili (olumsuzu) alındığında elde edilen önermedir. Yani, $ \neg p \to \neg q $.
- 3. Karşıt Tersi (Contrapositive): Bir $ p \to q $ önermesinin karşıt tersi, hem hipotezin ($ p $) hem de sonucun ($ q $) değili alındıktan sonra yerleri değiştirildiğinde elde edilen önermedir. Yani, $ \neg q \to \neg p $. (Bu aynı zamanda orijinal önermeye denktir.)
Soru bizden $ p \to q $ önermesinin tersini bulmamızı istiyor. Yukarıdaki tanıma göre, bir koşullu önermenin tersi, hem hipotezin hem de sonucun değilini alarak oluşturulur.
- Orijinal önermemiz: $ p \to q $
- Hipotezin değili: $ \neg p $
- Sonucun değili: $ \neg q $
- Bu durumda, $ p \to q $ önermesinin tersi $ \neg p \to \neg q $ olur.
Şimdi seçenekleri inceleyelim:
- A) $ q \to p $: Bu, $ p \to q $ önermesinin karşıtıdır.
- B) $ \neg p \to \neg q $: Bu, $ p \to q $ önermesinin tersidir.
- C) $ \neg q \to \neg p $: Bu, $ p \to q $ önermesinin karşıt tersidir.
- D) $ p \vee q $: Bu, $ p $ veya $ q $ anlamına gelen bir ayrık önermedir ve $ p \to q $ önermesinin tersiyle doğrudan bir ilişkisi yoktur.
Bu analizlere göre, $ p \to q $ önermesinin tersi $ \neg p \to \neg q $'dir.
Cevap B seçeneğidir.
