Glossary:Logical Quantifier

From Lexical Resource Semantics
Revision as of 00:16, 24 June 2016 by Lara (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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
Retrieved from "http:///wiki/index.php?title=Glossary:Logical_Quantifier&oldid=6736"