Universal quantifier

From Glottopedia
Revision as of 12:41, 10 June 2009 by Wohlgemuth (talk | contribs) (utrecht)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

Links

Utrecht Lexicon of Linguistics

References

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