Gerektirme nedir

"r: Hava yağmurludur." ve "s: Yerler ıslaktır." önermeleri için r ⇒ s gerektirmesinin doğruluk değerini inceleyiniz. Yerlerin başka bir sebepten (örn. temizlik) de ıslanabileceğini unutmayın.

💡 Gerektirme mantığına göre, "Hava yağmurlu ise yerler ıslaktır" önermesini analiz edelim.

• ➡️ r doğru, s doğru ise (Yağmur yağıyor ve yerler ıslak): r ⇒ s Doğru'dur.
• ➡️ r doğru, s yanlış ise (Yağmur yağıyor ama yerler kuru): Bu, önermeyi çürütür. r ⇒ s Yanlış'tır.
• ➡️ r yanlış, s doğru ise (Yağmur yağmıyor ama yerler temizlikten ıslak): Gerektirmede, öncül (r) yanlışsa sonuç (s) ne olursa olsun gerektirme Doğru kabul edilir.
• ➡️ r yanlış, s yanlış ise (Yağmur yağmıyor ve yerler kuru): r ⇒ s yine Doğru'dur.

✅ Gerçek hayatta yağmur yağdığı halde yerlerin kuru olma ihtimali (örneğin kapalı bir garaj) olduğu için, r ⇒ s önermesi her zaman doğru değildir. Bu nedenle doğruluk değeri Yanlış olabilecek durumlar vardır. Bu, onun bir "totoloji" olmadığını gösterir.