Matematiksel gerektirme ile ilgili aşağıdaki ifadelerden hangisi yanlıştır?
A) \( p \Rightarrow q \) önermesi, p yanlışken her zaman doğrudurMatematiksel mantıkta, gerektirme (koşullu önerme) $p \Rightarrow q$ şeklinde gösterilir ve "p ise q" olarak okunur. Bu önermenin doğruluk değeri, $p$ ve $q$ önermelerinin doğruluk değerlerine bağlıdır. Şimdi seçenekleri tek tek inceleyelim:
Bu ifade doğrudur. Gerektirme önermesinin doğruluk tablosunu hatırlayalım: Eğer $p$ yanlış ve $q$ doğru ise, $Y \Rightarrow D$ sonucu $D$ (Doğru) olur. Eğer $p$ yanlış ve $q$ yanlış ise, $Y \Rightarrow Y$ sonucu $D$ (Doğru) olur. Görüldüğü gibi, $p$ önermesi yanlış olduğunda, $q$'nun doğruluk değerinden bağımsız olarak $p \Rightarrow q$ önermesi her zaman doğru olur. Bu, gerektirme önermesinin temel özelliklerinden biridir.
Bu ifade de doğrudur. Gerektirme önermesinin doğruluk tablosunda, $p$ doğru ve $q$ yanlış olduğu tek durumda ($D \Rightarrow Y$), $p \Rightarrow q$ önermesinin doğruluk değeri yanlış olur. Bu, gerektirme önermesinin yanlış olduğu tek durumdur.
Bu ifade yanlıştır. "Değişme özelliği" (komütatiflik), bir işlemin sırası değiştiğinde sonucun değişmemesi anlamına gelir. Yani, $p \Rightarrow q$ ile $q \Rightarrow p$ önermelerinin birbirine denk olması gerekir. Ancak bu her zaman doğru değildir. Örneğin, $p$ doğru ve $q$ yanlış olsun. Bu durumda, $p \Rightarrow q$ önermesi $D \Rightarrow Y$ olup yanlıştır. Ancak, $q \Rightarrow p$ önermesi $Y \Rightarrow D$ olup doğrudur. Görüldüğü gibi, $p \Rightarrow q$ ile $q \Rightarrow p$ önermeleri birbirine denk değildir. Dolayısıyla gerektirme işlemi değişme özelliğine sahip değildir.
Bu ifade doğrudur. $p \Rightarrow q$ sembolü, matematiksel mantıkta "p ise q" veya "p gerektirir q" şeklinde okunur ve bu şekilde ifade edilir.
Yukarıdaki açıklamalara göre, gerektirme işleminin değişmeli olduğunu belirten C seçeneği yanlıştır.
Cevap C seçeneğidir.
