Soru: "Bazı kuşlar uçamaz" önermesini niceleme mantığında sembolleştiriniz.
Çözüm: Bu önerme varoluşsal niceleyici ile ifade edilir. Kuş kümesini K(x) = "x kuştur" ve uçma özelliğini U(x) = "x uçar" şeklinde tanımlayalım. "Uçamaz" ifadesi U(x)'in olumsuzudur. Sembolleştirme: ∃x (K(x) ∧ ¬U(x))
