Soru:
Aşağıdaki koşullu önermenin değilini bulunuz:
"r: Bir sayı 4'e bölünüyorsa, o zaman çifttir."
Çözüm:
💡 Bu bir koşullu önermedir ("ise" önermesi). "p ise q" önermesinin değili "p ve q'nun değili" şeklindedir. Yani, ~(p → q) ≡ p ∧ ~q.
- ➡️ Bileşenleri tanımlayalım:
- p: "Bir sayı 4'e bölünür."
- q: "Bir sayı çifttir."
- ➡️ Verilen önerme: r: p → q ("p ise q")
- ➡️ Kuralı uygulayalım: ~(p → q) ≡ p ∧ ~q
- ➡️ ~q'yu (q'nun değilini) bulalım: ~q: "Bir sayı çift değildir" (yani tektir).
- ➡️ Şimdi p ve ~q'yu "ve" bağlacı ile birleştirelim.
✅ Sonuç: r': "Bir sayı 4'e bölünür ve çift değildir (tektir)."
