Universal quantifier

From Glottopedia
Jump to: navigation, search

Definition

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

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.