Universal quantifier
Jump to navigation
Jump to 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. |
