Soru: "Her insan ölümlüdür" önermesini niceleme mantığında sembolleştiriniz.
Çözüm: Bu önerme evrensel niceleyici ile ifade edilir. İnsan kümesini I(x) = "x insandır" ve ölümlü kümesini O(x) = "x ölümlüdür" şeklinde tanımlayalım. Sembolleştirme: ∀x (I(x) → O(x))
