Soru:
Aşağıdaki bileşik önermelerin doğruluk değerlerini, ise bağlacının veya cinsinden eşdeğerini (p⇒q ≡ p'∨q) kullanarak bulunuz.
- p: "3 > 5" (Y)
- q: "7 asal sayıdır" (D)
Buna göre, p ⇒ q önermesinin doğruluk değeri nedir?
Çözüm:
💡 İse bağlacını, "veya" bağlacı cinsinden ifade ederek çözüme ulaşacağız.
- ➡️ Öncelikle, verilen önermelerin doğruluk değerlerini yazalım: p ≡ Y, q ≡ D.
- ➡️ p ⇒ q önermesinin eşdeğeri p' ∨ q'dur.
- ➡️ p'nin değili (p'): p yanlış olduğu için p' doğrudur. Yani p' ≡ D.
- ➡️ Şimdi p' ∨ q ifadesini yazalım: D ∨ D.
- ➡️ Veya (∨) bağlacında, en az bir bileşen doğru ise sonuç doğrudur. D ∨ D ≡ D.
✅ Sonuç olarak, p ⇒ q önermesinin doğruluk değeri Doğru (D)'dur.
