Glossary:Universal Quantifier: Difference between revisions
Jump to navigation
Jump to search
(Created page with "=Universal Quantifier= BE /ˌju:nɪˈvɜ:səl ˈkwɒntɪfaɪə/, AE /ˌjunəˈvɜrsəl ˈkwɑntɪˌfaɪər/ ==Definition== The universal quantifier (symbolized by the '''oper...") |
|||
| Line 20: | Line 20: | ||
==Related Terms== | ==Related Terms== | ||
* [[Glossary:Existential Quantifier | Existential Quantifier]] | * [[Glossary:Existential Quantifier | Existential Quantifier]] | ||
* Logical Form | * [[Glossary:Logical Form | Logical Form]] | ||
* [[Glossary:Logical Operator | Logical Operator (Propositional Connective)]] | |||
* [[Glossary:Logical Quantifier | Logical Quantifier]] | * [[Glossary:Logical Quantifier | Logical Quantifier]] | ||
* | * [[Glossary:Predicate logic| Predicate Logic (First-order Logic)]] | ||
* [[Glossary:Quantifiers | Quantifier]] | * [[Glossary:Quantifiers | Quantifier]] | ||
* Restricted Quantifier | * [[Glossary:Restricted Quantifier | Restricted Quantifier]] | ||
* Variable | * [[Glossary:Variable | Variable]] | ||
<hr /> | <hr /> | ||
Back to the [[Basic_Glossary|Basic Glossary]] | Back to the [[Basic_Glossary|Basic Glossary]] | ||
Revision as of 01:50, 24 June 2016
Universal Quantifier
BE /ˌju:nɪˈvɜ:səl ˈkwɒntɪfaɪə/, AE /ˌjunəˈvɜrsəl ˈkwɑntɪˌfaɪər/
Definition
The universal quantifier (symbolized by the operator ∀) is used to mean that the statement is true for every entity in the domain in question and is conveyed by such expressions as all, every and each.
Examples
Every dog is barking.
∀x (DOG (x) → BARK (x))
“For every thing x, if x is a dog then x is barking.”
All students were tired.
∀x (STUDENT (x) → TIRED (x))
“For every thing x, if x is a student then x is tired.”
References
- Gregory, Howard. 2000. Semantics. Language Workbook. London/New York: Rutledge.
- Riemer, Nick. 2010. Introducing Semantics. Cambridge [et al.]: Cambridge University Press.
Related Terms
- Existential Quantifier
- Logical Form
- Logical Operator (Propositional Connective)
- Logical Quantifier
- Predicate Logic (First-order Logic)
- Quantifier
- Restricted Quantifier
- Variable
Back to the Basic Glossary