Önermenin değili nedir

Aşağıdaki koşullu önermenin değilini bulunuz:

"Yağmur yağarsa, yerler ıslanır."

💡 Bu bir koşullu önermedir (\( p \to q \)). Koşullu önermenin değili, "\( (p \to q)' \equiv p \land q' \)" kuralı ile bulunur. Yani, "p doğru ve q yanlış" durumudur.

• ➡️ Bileşenleri belirleyelim:
  • p: "Yağmur yağar."
  • q: "Yerler ıslanır."
• ➡️ Verilen önerme: p → q
• ➡️ Değilini alma kuralı: (p → q)' ≡ p ∧ q'
• ➡️ Bileşenlerin değillerini alalım:
  • p (zaten olduğu gibi kalır): "Yağmur yağar."
  • q': "Yerler ıslanmaz."
• ➡️ Bunları "ve" bağlacı ile birleştiririz.

✅ Sonuç: "Yağmur yağar ve yerler ıslanmaz."