Glossary:Logical Quantifier: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
== Definition == | == Definition == | ||
In predicate logic the two fundamental quantifiers are the '''logical quantifiers''' | In predicate logic the two fundamental quantifiers are the '''logical quantifiers''', which are the '''universal quantifier''' and the '''existential quantifier'''. | ||
== Examples == | == Examples == | ||
* Universal quantifier: ∀ apple (Read as: for every apple, for all apples) | * Universal quantifier: ∀ apple (Read as: ''for every apple, for all apples'') | ||
* Existential quantifier: ∃ apple (Read as: at least one apple exists) | * Existential quantifier: ∃ apple (Read as: ''at least one apple exists'') | ||
== References == | == References == | ||
| Line 15: | Line 15: | ||
== Related Terms == | == Related Terms == | ||
* [[Glossary:Existential Quantifier | Existential Quantifier]] | * [[Glossary:Existential Quantifier | Existential Quantifier]] | ||
* Logical Form | * [[Glossary:Logical Form | Logical Form]] | ||
* Logical | * [[Glossary:Logical Operator | Logical Operator (Propositional Connective)]] | ||
* Predicate Logic (First-order | * [[Glossary:Predicate logic| Predicate Logic (First-order Logic)]] | ||
* [[Glossary:Quantifiers | Quantifier]] | * [[Glossary:Quantifiers | Quantifier]] | ||
* [[Glossary:Universal Quantifier| Universal Quantifier]] | * [[Glossary:Universal Quantifier| Universal Quantifier]] | ||
* Variable | * [[Glossary:Variable | Variable]] | ||
<hr /> | <hr /> | ||
Back to the [[Basic_Glossary|Basic Glossary]] | Back to the [[Basic_Glossary|Basic Glossary]] | ||
Latest revision as of 09:10, 29 June 2016
Logical Quantifier
BE /ˈlɒʤɪkəl ˈkwɒntɪfaɪə/, AE /ˈlɑ:ʤɪkl̩ ˈkwɑntɪˌfaɪər/
Definition
In predicate logic the two fundamental quantifiers are the logical quantifiers, which are the universal quantifier and the existential quantifier.
Examples
- Universal quantifier: ∀ apple (Read as: for every apple, for all apples)
- Existential quantifier: ∃ apple (Read as: at least one apple exists)
References
Kearns, Kate. 2000. Semantics. Basingstoke: Macmillan.
Related Terms
- Existential Quantifier
- Logical Form
- Logical Operator (Propositional Connective)
- Predicate Logic (First-order Logic)
- Quantifier
- Universal Quantifier
- Variable
Back to the Basic Glossary