existential quantifier

noun, Logic.
1.
a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier.
Also called particular quantifier.
Compare universal quantifier.
Origin
1935-40
British Dictionary definitions for existential quantifiers

existential quantifier

noun
1.
(logic) a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃x) Fx meaning "something is (an) F," "something Fs," or "there are (some) Fs."