Soru: "Her insan ölümlüdür" önermesini niceleme mantığı sembolleriyle ifade ediniz. Evrensel küme: İnsanlar kümesi.
Çözüm: Bu önermede "her" ifadesi evrensel niceleyiciyi ($\forall$) gösterir. $P(x)$: "x ölümlüdür" şeklinde bir yüklem tanımlayalım. O halde önerme: $\forall x P(x)$ olarak yazılır. Bu, "İnsanlar kümesindeki her x için, x ölümlüdür" anlamına gelir.
