Soru:
Aşağıdaki koşullu önermenin olumsuzunu bulunuz: "p: Bir sayı 4'e bölünüyorsa, çifttir."
Çözüm:
💡 Bu bir koşullu önermedir (p → q). Koşullu önermenin olumsuzu, "ve" bağlacı ile bağlanmış bir önermedir.
- ➡️ Öncelikle bileşenleri tanımlayalım:
- q: Bir sayı 4'e bölünür.
- r: Bir sayı çifttir.
- ➡️ Verilen önerme: p ≡ q → r
- ➡️ Koşullu önermenin olumsuz kuralı: ¬(q → r) ≡ q ∧ ¬r
- ➡️ Bileşenlerin gerekli olumsuzlarını yazalım:
- q: Bir sayı 4'e bölünür. (Olumsuzu alınmaz)
- ¬r: Bir sayı çift değildir (tektir).
✅ Sonuç: "Bir sayı 4'e bölünür ve çift değildir (tektir)."
