Aşağıdaki önermelerden hangisi "\( p \Rightarrow q \)" önermesinin tersidir?
A) \( \lnot p \Rightarrow \lnot q \)
B) \( q \Rightarrow p \)
C) \( \lnot q \Rightarrow \lnot p \)
D) \( p \land \lnot q \)
Mantıkta önermeler arasındaki ilişkileri anlamak, doğru çıkarımlar yapabilmek için çok önemlidir. Bu soruda, bir koşullu önermenin "tersi" kavramını adım adım inceleyelim.
- Öncelikle, bize verilen koşullu önerme $ p \Rightarrow q $ şeklindedir. Bu önerme, "Eğer $ p $ ise $ q $" anlamına gelir. Örneğin, "$ p $: Hava yağmurludur" ve "$ q $: Şemsiye alırım" ise, önerme "Eğer hava yağmurluysa, şemsiye alırım" olur.
- Bir koşullu önermenin tersi, hem öncülün ($ p $) hem de sonucun ($ q $) olumsuzunu (değilini) alarak oluşturulur. Yani, "$ p $" yerine "$ \lnot p $" (p'nin değili) ve "$ q $" yerine "$ \lnot q $" (q'nun değili) kullanılır ve bu yeni değiller arasında aynı koşullu bağ ($ \Rightarrow $) kurulur.
- Bu tanıma göre, $ p \Rightarrow q $ önermesinin tersi $ \lnot p \Rightarrow \lnot q $ olur. Örneğimiz üzerinden gidersek, "$ \lnot p $: Hava yağmurlu değildir" ve "$ \lnot q $: Şemsiye almam" olur. Ters önerme ise "Eğer hava yağmurlu değilse, şemsiye almam" şeklindedir.
- Şimdi seçenekleri tek tek inceleyelim ve her birinin ne anlama geldiğini belirleyelim:
- A) $ \lnot p \Rightarrow \lnot q $: Bu ifade, yukarıda tanımladığımız gibi $ p \Rightarrow q $ önermesinin tam olarak tersidir.
- B) $ q \Rightarrow p $: Bu ifade, $ p \Rightarrow q $ önermesinin karşıtıdır. Önermenin öncülü ile sonucunun yer değiştirmesiyle elde edilir. (Örnek: "Eğer şemsiye alırsam, hava yağmurludur.")
- C) $ \lnot q \Rightarrow \lnot p $: Bu ifade, $ p \Rightarrow q $ önermesinin karşıt tersidir. Hem öncül hem de sonucun değili alınıp yerleri değiştirilerek elde edilir. Mantıkta, bir önerme ile karşıt tersi birbirine denktir ($ p \Rightarrow q \equiv \lnot q \Rightarrow \lnot p $). (Örnek: "Eğer şemsiye almazsam, hava yağmurlu değildir.")
- D) $ p \land \lnot q $: Bu ifade, $ p \Rightarrow q $ önermesinin değilidir (olumsuzu). Bir koşullu önermenin yanlış olduğu tek durum, öncülün ($ p $) doğru ve sonucun ($ q $) yanlış olduğu durumdur. Bu durum $ p \land \lnot q $ ile ifade edilir. (Örnek: "Hava yağmurludur VE şemsiye almam.")
- Yukarıdaki incelemeler sonucunda, $ p \Rightarrow q $ önermesinin tersi tanımına uyan tek seçeneğin A olduğu açıkça görülmektedir.
Cevap A seçeneğidir.
