Category
page 1Quantifier (logic)
quantifier
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
universal quantification
logical quantification stating that a statement holds for all objects
existential quantification
logical quantification stating that a statement holds for at least one object
uniqueness quantification
logical quantification stating that a statement holds for exactly one object