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

Aşağıdaki bileşik önermelerin doğruluk değerlerini p⇒q ≡ p'∨q özdeşliğini kullanarak bulunuz.

• p: "3 asal sayıdır." (Doğru)
• q: "4 çift sayıdır." (Doğru)

💡 Öncelikle, verilen önermelerin doğruluk değerlerini yerine koyalım: p ≡ 1, q ≡ 1.

• ➡️ p⇒q önermesini doğrudan hesaplayalım: 1⇒1 ≡ 1 (Doğru).
• ➡️ Şimdi özdeşliği kullanalım: p'∨q. p' (p'nin değili) 0'dır. 0 ∨ 1 işleminin sonucu 1'dir.

✅ Her iki yöntemle de sonuç 1 (Doğru) çıktı. p⇒q ≡ p'∨q özdeşliği sağlandı.