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
~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.