Soru: "Bazı kuşlar uçamaz" önermesini niceleme mantığı sembolleriyle ifade ediniz. Evrensel küme: Kuşlar kümesi.
Çözüm: Bu önermede "bazı" ifadesi varlıksal niceleyiciyi ($\exists$) gösterir. $Q(x)$: "x uçabilir" şeklinde bir yüklem tanımlayalım. Önerme "uçamaz" dediğine göre, bunun olumsuzunu almalıyız: $\neg Q(x)$. O halde önerme: $\exists x \neg Q(x)$ olarak yazılır. Bu, "Kuşlar kümesinde öyle bir x vardır ki, x uçamaz" anlamına gelir.
