Quantifier (logic)
From The Art and Popular Culture Encyclopedia
(Redirected from Quantification (logic))
Related e |
Featured: |
In natural languages, a quantifier turns a sentence about something having some property into a sentence about the number (quantity) of things having the property. Examples of quantifiers in English are "all", "some", "many", "few", "most", and "no"; examples of quantified sentences are "all people are mortal", "some people are mortal", and "no people are mortal", they are considered to be true, true, and false, respectively.
In mathematical logic, in particular in first-order logic, a quantifier achieves a similar task, operating on a mathematical formula rather than an English sentence.
[edit]
See also
- Generalized quantifier — a higher-order property used as standard semantics of quantified noun phrases
- Lindström quantifier — a generalized polyadic quantifier
- Quantifier elimination
- Quantifier shift
- Almost all
- Eventually (mathematics)
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Quantifier (logic)" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.