6. Mantıkta \( P \Rightarrow Q \) koşullu önermesi için aşağıdaki ifadelerden hangisi her zaman doğrudur?
A) \( P \) doğruysa \( Q \) doğru olmak zorundadır.
B) \( Q \) doğruysa \( P \) doğru olmak zorundadır.
C) \( P \) yanlışsa \( Q \) yanlış olmak zorundadır.
D) \( Q \) yanlışsa \( P \) yanlış olmak zorundadır.
Merhaba sevgili öğrenciler!
Mantıkta $P \Rightarrow Q$ koşullu önermesi, "Eğer $P$ ise, o zaman $Q$" şeklinde okunur. Bu önermenin ne anlama geldiğini ve hangi durumlarda doğru olduğunu anlamak, bu tür soruları çözmek için anahtardır.
Öncelikle, $P \Rightarrow Q$ koşullu önermesinin doğruluk tablosunu hatırlayalım:
- Eğer $P$ doğru ve $Q$ doğru ise, $P \Rightarrow Q$ doğrudur.
- Eğer $P$ doğru ve $Q$ yanlış ise, $P \Rightarrow Q$ yanlıştır. (Bu, $P \Rightarrow Q$ önermesinin yanlış olduğu tek durumdur!)
- Eğer $P$ yanlış ve $Q$ doğru ise, $P \Rightarrow Q$ doğrudur.
- Eğer $P$ yanlış ve $Q$ yanlış ise, $P \Rightarrow Q$ doğrudur.
Şimdi seçenekleri bu bilgiler ışığında inceleyelim:
- A) $P$ doğruysa $Q$ doğru olmak zorundadır.
- Bu ifade, $P \Rightarrow Q$ önermesinin temel tanımını yansıtır. Eğer $P \Rightarrow Q$ önermesinin doğru olduğunu kabul ediyorsak, $P$'nin doğru olduğu bir durumda $Q$'nun yanlış olması mümkün değildir. Çünkü eğer $P$ doğru ve $Q$ yanlış olsaydı, $P \Rightarrow Q$ önermesi yanlış olurdu. Bu durum, $P \Rightarrow Q$ önermesinin doğru olduğu varsayımıyla çelişir. Dolayısıyla, $P \Rightarrow Q$ doğruysa ve $P$ doğruysa, $Q$ kesinlikle doğru olmak zorundadır. Bu ifade her zaman doğrudur.
- B) $Q$ doğruysa $P$ doğru olmak zorundadır.
- Bu ifade her zaman doğru değildir. Örneğin, $P$ yanlış ve $Q$ doğru olduğunda $P \Rightarrow Q$ önermesi doğrudur. Bu durumda $Q$ doğru olmasına rağmen $P$ yanlıştır. Yani $Q$'nun doğru olması $P$'nin de doğru olmasını gerektirmez. (Örnek: "Eğer yağmur yağıyorsa, yerler ıslaktır." Yerler ıslak olabilir ama yağmur yağmıyor olabilir, örneğin hortumla sulanmıştır.)
- C) $P$ yanlışsa $Q$ yanlış olmak zorundadır.
- Bu ifade de her zaman doğru değildir. Örneğin, $P$ yanlış ve $Q$ doğru olduğunda $P \Rightarrow Q$ önermesi doğrudur. Bu durumda $P$ yanlış olmasına rağmen $Q$ doğrudur. Yani $P$'nin yanlış olması $Q$'nun da yanlış olmasını gerektirmez.
- D) $Q$ yanlışsa $P$ yanlış olmak zorundadır.
- Bu ifade, $P \Rightarrow Q$ önermesinin karşıt tersidir ($\neg Q \Rightarrow \neg P$). Mantıkta, bir koşullu önerme ile onun karşıt tersi mantıksal olarak denktir, yani her zaman aynı doğruluk değerine sahiptirler. Dolayısıyla, $P \Rightarrow Q$ doğruysa, $Q$ yanlış olduğunda $P$ de yanlış olmak zorundadır. Bu ifade de aslında $P \Rightarrow Q$ önermesinin doğru olmasının bir sonucudur. Ancak, $P \Rightarrow Q$ önermesinin *doğrudan anlamı* veya *tanımı* genellikle A seçeneğinde belirtilen şekildedir: "Eğer öncül (P) doğruysa, sonuç (Q) da doğru olmak zorundadır." Bu, koşullu önermenin ileriye dönük doğrudan çıkarımını ifade eder. Soruda "her zaman doğrudur" ifadesiyle kastedilen, $P \Rightarrow Q$ önermesinin temel ve doğrudan özelliğidir.
Sonuç olarak, $P \Rightarrow Q$ koşullu önermesinin en temel ve doğrudan anlamı, eğer $P$ doğruysa $Q$'nun da doğru olması gerektiğidir. Bu, koşullu önermenin yanlış olmasını engelleyen temel kuraldır.
Cevap A seçeneğidir.
