Soru:
"Eğer bir sayı 6'ya bölünebiliyorsa, o zaman 2'ye de bölünebilir." önermesinin sembolik mantık dilinde karşılığını yazınız ve doğruluk değerini bulunuz.
Çözüm:
Bu bir gerektirme önermesidir. Önce onu sembolleştirelim.
- ➡️ \( p \): Bir sayı 6'ya bölünebilir.
- ➡️ \( q \): Bir sayı 2'ye bölünebilir.
- ➡️ Önerme: \( p \Rightarrow q \) şeklindedir.
- ➡️ Şimdi doğruluk değerini inceleyelim. 6'ya bölünebilen her sayı, çarpanları olan 2 ve 3'e de otomatik olarak bölünür.
- ➡️ Yani, \( p \) doğru olduğunda \( q \) her zaman doğru olur. Bu, gerektirmenin yanlış olduğu (D ⇒ Y) durumunu asla oluşturmaz.
✅ Sonuç: Bu önerme DOĞRUDUR.
