Noun: existential quantifier
- A logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
"The symbol ∃ is used to represent the existential quantifier in logic";
- existential operator
Derived forms: existential quantifiers
Type of: logical quantifier, quantifier
Encyclopedia: Existential quantifier