Glossary:Logical Quantifier: Difference between revisions

From Lexical Resource Semantics
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