Loading…
Loading…
Concept · Foundations
An operator that binds a variable and states how much of the domain it ranges over; the universal quantifier ∀ means 'for all,' and the existential quantifier ∃ means 'for some' or 'there exists.'
Why it matters
Quantifiers make generality and existence logically explicit and are the central innovation of predicate logic over categorical and propositional systems.
Where this shows up
Following the links will take you to the page where this term is introduced in context.
Lessons (3)
Related