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

"Eğer hava yağmurlu ise, yerler ıslaktır." önermesini, "ise" bağlacının "veya" cinsinden ifadesini kullanarak (\(p \Rightarrow q \equiv p' \lor q\)) yeniden yazınız.

🔤 Önermeyi sembolik mantık diline çevirelim.

• ➡️ p: "Hava yağmurludur."
• ➡️ q: "Yerler ıslaktır."
• ➡️ Verilen önerme: p⇒q
• ➡️ Özdeşliği uygulayalım: p⇒q ≡ p'∨q
• ➡️ p' (p'nin değili): "Hava yağmurlu değildir."

✅ Önermenin "veya" cinsinden yazılışı: "Hava yağmurlu değildir veya yerler ıslaktır." olur.