Glossary:Logical Quantifier: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
= | = Logical Quantifier = | ||
BE /ˈlɒʤɪkəl ˈkwɒntɪfaɪə/, AE /ˈlɑ:ʤɪkl̩ ˈkwɑntɪˌfaɪər/ | BE /ˈlɒʤɪkəl ˈkwɒntɪfaɪə/, AE /ˈlɑ:ʤɪkl̩ ˈkwɑntɪˌfaɪər/ | ||
= Definition = | == Definition == | ||
In predicate logic the two fundamental quantifiers are the logical quantifiers (also called generalized quantifiers), which are the universal quantifier and the existential quantifier. | In predicate logic the two fundamental quantifiers are the logical quantifiers (also called generalized 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 == | ||
Kearns, Kate. 2000. ''Semantics.'' Basingstoke: Macmillan. | Kearns, Kate. 2000. ''Semantics.'' Basingstoke: Macmillan. | ||
= Related Terms = | == Related Terms == | ||
* Existential Quantifier | * Existential Quantifier | ||
* Logical Form | * Logical Form | ||
Line 22: | Line 23: | ||
<hr /> | <hr /> | ||
Back to the [[Basic_Glossary| | Back to the [[Basic_Glossary|Basic Glossary]] |
Revision as of 00:21, 24 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 (also called generalized 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 Symbol
- Predicate Logic (First-order Predicate Logic)
- Quantifier
- Universal Quantifier
- Variable
Back to the Basic Glossary