Glossary:Logical Quantifier: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Pronunciation = BE /ˈlɒʤɪkəl ˈkwɒntɪfaɪə/, AE /ˈlɑ:ʤɪkl̩ ˈkwɑntɪˌfaɪər/ = Definition = In predicate logic the two fundamental quantifiers are the logic...") |
No edit summary |
||
| Line 20: | Line 20: | ||
* Universal Quantifier | * Universal Quantifier | ||
* Variable | * Variable | ||
<hr /> | |||
Back to the [[Basic_Glossary|glossary]] | |||
Revision as of 00:19, 24 June 2016
Pronunciation
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 glossary