Soru:
Aşağıdaki bileşik önermenin değilini (olumsuzunu) bulunuz: "Bahçede elma veya armut ağacı var."
Çözüm:
💡 Burada "veya" (∨) bağlacı kullanılmıştır. De Morgan Kuralı'nı uygulayacağız: \( (p \vee q)' \equiv p' \wedge q' \)
- ➡️ Öncelikle basit önermeleri tanımlayalım:
- \( p \): "Bahçede elma ağacı var."
- \( q \): "Bahçede armut ağacı var."
- ➡️ Verilen bileşik önerme: \( p \vee q \)
- ➡️ De Morgan Kuralı'na göre bu önermenin değili: \( (p \vee q)' \equiv p' \wedge q' \)
- ➡️ Yani, "veya" bağlacının değili, "ve" bağlacına dönüşür ve her bir önermenin ayrı ayrı değili alınır.
- ➡️ Buna göre:
- \( p' \): "Bahçede elma ağacı yok."
- \( q' \): "Bahçede armut ağacı yok."
✅ Sonuç: "Bahçede ne elma ağacı ne de armut ağacı var." veya "Bahçede elma ağacı yok ve armut ağacı yok."
