Soru: A = {1, 2, 3, 4} kümesi verilsin. "∃x ∈ A (x > 2)" ifadesi doğru mudur? Neden?
Çözüm: İfade, "A kümesinde en az bir x vardır öyle ki x > 2'dir" anlamına gelir. A kümesinin elemanlarını kontrol edelim: 1 > 2? Hayır. 2 > 2? Hayır. 3 > 2? Evet. 4 > 2? Evet. 3 ve 4, 2'den büyük olduğu için en az bir eleman (örneğin 3) koşulu sağlar. Bu nedenle ifade doğrudur (True). Varlıksal niceleyici, bir tane bile doğru örnek bulunduğunda doğru olur.
