Loading…
Loading…
Concept · Foundations
The quantifier ∃x, read 'there exists x such that,' which claims that the formula it binds holds for at least one object in the domain.
Why it matters
Existential quantification is how predicate logic expresses 'some S is P' and underlies reasoning about witnesses and examples.
Where this shows up
Following the links will take you to the page where this term is introduced in context.
Related