Soru: "Sınıfta bazı öğrenciler matematikten hoşlanır" cümlesini varlıksal niceleyici kullanarak sembolize edin. Değişkenleri tanımlayın.
Çözüm: Öncelikle değişkenleri ve yüklemleri tanımlayalım: x bir öğrenciyi temsil etsin, M(x): "x matematikten hoşlanır". "Bazı" ifadesi ∃ niceleyicisine karşılık gelir. Cümle, "en az bir öğrenci vardır ki matematikten hoşlanır" demektir. Sembolik gösterim: ∃x M(x). Eğer öğrenci kümesini belirtmek istersek: ∃x (Öğrenci(x) ∧ M(x)) şeklinde de yazılabilir, burada Öğrenci(x): "x öğrencidir".
