File:QuantifierScopes_svg.svg · Wikimedia Commons · See Wikimedia Commons
quantifier
Sign in to saveAlso known as quantor, logical quantification, logical quantifier, quantification
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
Wikidata facts
- Subclass of
- logical operator
- Has part
- universal quantification
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
~28 min read
Encyclopedic overview
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier
∀
Excerpted from Wikipedia’s “quantifier” article, available under the CC BY-SA 4.0 licence.