Bir önermenin olumsuzu (değili) nasıl alınır

Aşağıdaki niceleyicili önermenin olumsuzunu yazınız: "p: Sınıftaki her öğrenci, matematik dersini seviyor."

💡 Bu önerme bir evrensel niceleyici ("her") içermektedir. Evrensel niceleyicinin olumsuzu varlıksal niceleyici ("bazı", "en az bir") olur.

• ➡️ Önermeyi sembolik olarak ifade edelim:
  • ∀x ∈ S, M(x) (S: Sınıf, M(x): x matematik dersini sever)
• ➡️ Evrensel niceleyicinin olumsuz kuralı: ¬[∀x, M(x)] ≡ ∃x, ¬M(x)
• ➡️ Yüklemin (M(x)) olumsuzunu alalım: ¬M(x): "x matematik dersini sevmiyor."
• ➡️ Niceleyiciyi ve yüklemi birleştirelim: ∃x ∈ S, ¬M(x)

✅ Sonuç: "Sınıfta bazı (veya en az bir) öğrenci, matematik dersini sevmiyor."