Soru:
Aşağıdaki koşullu önermenin değilini bulunuz.
r: "Yağmur yağarsa, yerler ıslaktır."
Çözüm:
💡 "ise" bağlacı (\( \Rightarrow \)) ile kurulmuş bir koşullu önermenin değili, "ve" bağlacı ile ifade edilir. Kural şudur: (p ⇒ q)' ≡ p ∧ q'
- ➡️ Bileşenleri tanımlayalım:
- p: "Yağmur yağar"
- q: "Yerler ıslaktır"
- ➡️ Orijinal önermemiz: r: p ⇒ q
- ➡️ Değilini alma kuralını uygulayalım: r' ≡ (p ⇒ q)' ≡ p ∧ q'
- ➡️ Bu kuralı yorumlarsak: "p doğru iken q yanlış" olması durumudur.
- ➡️ Bileşenlerin değillerini yazıp "ve" bağlacı ile birleştirelim:
- p: "Yağmur yağar" (değili alınmıyor, olduğu gibi kalıyor)
- q': "Yerler ıslak değildir"
✅ Sonuç: r' ≡ "Yağmur yağar ve yerler ıslak değildir."
