Skip to content
Vinony
Category

Quantifier (logic)

page 1
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