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
Article
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
∀
Gallery (2)
Connections
logical disjunction
Entity
first-order logic
Entity
existential quantification
Entity
semantics of logic
Entity
free and bound variables
Entity
semantic theory of truth
Entity
set theory
Entity
real number
Entity
mathematical logic
Entity
syllogism
Entity
Gödel's incompleteness theorems
Entity
Peano axioms
Entity
formal system
Entity
irrelevant conclusion
Entity
universal quantification
Entity
Zermelo–Fraenkel set theory
Entity
anecdotal evidence
Entity
predicate
Entity
logical equivalence
Entity
type theory
Entity