Source: wikibot/existential-quantification
= Existential quantification
{wiki=Existential_quantification}
Existential quantification is a concept from mathematical logic and predicate logic that expresses that there exists at least one element in a particular domain for which a certain property or predicate holds true. It is typically denoted using the symbol ∃ (the existential quantifier).