Soru:
Aşağıdaki bileşik önermenin değilini bulunuz:
"q: Hava yağmurlu ve sokaklar ıslak."
Çözüm:
💡 Bu bir bileşik önermedir ve "ve" bağlacı ile bağlanmıştır. De Morgan Kuralı'nı uygulayacağız.
- ➡️ Öncelikle bileşenleri tanımlayalım:
- a: "Hava yağmurlu"
- b: "Sokaklar ıslak"
- ➡️ Bileşik önermemiz: q: a ∧ b ("a ve b")
- ➡️ De Morgan Kuralı: ~(a ∧ b) ≡ ~a ∨ ~b
(Yani, "a ve b" nin değili, "değil a veya değil b" ye eşittir.)
- ➡️ Bileşenlerin değillerini alalım:
- ~a: "Hava yağmurlu değildir."
- ~b: "Sokaklar ıslak değildir."
- ➡️ Bu değilleri "veya" bağlacı ile birleştirelim.
✅ Sonuç: q': "Hava yağmurlu değildir veya sokaklar ıslak değildir."
