Gerektirme nedir

"p: Bir sayı 2 ile tam bölünür." ve "q: Bir sayı çifttir." önermeleri veriliyor. p ⇒ q gerektirmesinin doğruluk değerini bulunuz.

💡 Gerektirme (⇒) bağlacı, sadece ilk önerme doğru iken ikinci önerme yanlış ise yanlıştır. Diğer tüm durumlarda doğrudur.

• ➡️ p doğru ise (sayı 2'ye bölünüyorsa), q da mutlaka doğrudur (sayı çifttir). Bu durumda p ⇒ q Doğru'dur.
• ➡️ p yanlış ise (sayı 2'ye bölünmüyorsa), q'nun doğru veya yanlış olması önemli değildir. Gerektirme yine Doğru'dur. Örneğin, sayı 3 olsun. p yanlış, q yanlış. p ⇒ q: Y ⇒ Y = D. Sayı 4 olsaydı? p doğru olurdu, bu durum zaten ilk maddede incelendi.

✅ p'nin doğru olduğu hiçbir durumda q yanlış olmadığı için, p ⇒ q gerektirmesi her zaman Doğru'dur. Yani bu bir gerektirme dir.