Difference between revisions of "Universal quantifier"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Edited the format and removed the block {{format}}) |
||
| Line 1: | Line 1: | ||
| + | ==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. | '''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. | ||
| Line 5: | Line 6: | ||
It is a standard assumption that natural language expressions such as ''each girl'' and ''everyone'' contain (or are) universal quantifiers. | It is a standard assumption that natural language expressions such as ''each girl'' and ''everyone'' contain (or are) universal quantifiers. | ||
| − | + | == Links == | |
| − | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Universal+quantifier&lemmacode=135 Utrecht Lexicon of Linguistics] | |
| − | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Universal+quantifier&lemmacode=135 Utrecht Lexicon of Linguistics] | ||
| − | |||
| − | |||
| + | == References == | ||
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | ||
| Line 16: | Line 15: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
| − | {{stub}}{{cats | + | {{stub}}{{cats}} |
Latest revision as of 16:46, 24 August 2014
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. |
