existential quantifier
noun Logic.
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 of existential quantifier
First recorded in 1935–40
Words nearby existential quantifier
existence,
existence theorem,
existent,
existential,
existential psychology,
existential quantifier,
existentialism,
exit,
exit poll,
exit pupil,
exit strategy
British Dictionary definitions for existential quantifier
existential quantifier
noun
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."