Soru: '∃x ∈ Z, x² = 4' ifadesinin anlamını açıklayınız ve doğru olup olmadığını belirtiniz.
Çözüm: ∃ (en az bir) niceleyicisi, belirtilen kümede ifadeyi sağlayan en az bir elemanın bulunduğunu gösterir. Bu ifade 'Tam sayılar kümesinde, karesi 4 olan en az bir x vardır' anlamına gelir. Tam sayılar kümesi Z = {..., -2, -1, 0, 1, 2, ...} şeklindedir ve x = 2 için 2² = 4, x = -2 için (-2)² = 4 olduğundan ifadeyi sağlayan en az bir x (hatta iki tane) vardır. Bu nedenle bu ifade doğrudur.
