Universal quantifier

From Glottopedia
Jump to navigation Jump to search


Universal quantifier is a logical operator of predicate logic, written All, which makes it possible to express that all entities in the universe of discourse have a particular property. In (i), it is used to express that every entity has property P.

(i) All(x) [ P(x) ]

It is a standard assumption that natural language expressions such as each girl and everyone contain (or are) universal quantifiers.



  • Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
CAT This article needs proper categorization. You can help Glottopedia by categorizing it
Please do not remove this block until the problem is fixed.