İse bağlacının veya cinsinden yazılışı (p⇒q ≡ p'∨q)

p: "5 > 7" (Yanlış) ve q: "2 + 2 = 4" (Doğru) önermeleri veriliyor. p⇒q önermesini, "ise" bağlacının "veya" cinsinden ifadesini kullanarak (\(p \Rightarrow q \equiv p' \lor q\)) doğruluk değerini bulunuz.

🧠 Önermelerin doğruluk değerleri: p ≡ 0, q ≡ 1.

• ➡️ p⇒q'nun doğrudan hesabı: 0⇒1 ≡ 1 (Yanlış ise Doğru, Doğru'dur).
• ➡️ Özdeşlikle hesap: p'∨q. p' (p'nin değili) 1'dir. 1 ∨ 1 işlemi 1 sonucunu verir.

✅ Görüldüğü gibi her iki durumda da sonuç 1 (Doğru) çıkmaktadır.