(Alm. Existenzquantifizierer, m; Fr. quantificateur existentiel, m; İng. existential quantifier)
mat. Bir p önermesini sağlayan en az bir ögenin var olduğunu belirtmek için kullanılan "vardır" deyimi ya da onu belirten simge.
TUBA Matematik Terimleri Sözlüğü