Glossary:Logical Quantifier: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
Line 14: Line 14:


== Related Terms ==
== Related Terms ==
* Existential Quantifier
* [[Glossary:Existential Quantifier | Existential Quantifier]]
* Logical Form
* Logical Form
* Logical Symbol
* Logical Symbol
* Predicate Logic (First-order Predicate Logic)
* Predicate Logic (First-order Predicate Logic)
* [[Glossary:Quantifiers | Quantifier]]
* [[Glossary:Quantifiers | Quantifier]]
* Universal Quantifier
* [[Glossary:Universal Quantifier| Universal Quantifier]]
* Variable
* Variable


<hr />
<hr />
Back to the [[Basic_Glossary|Basic Glossary]]
Back to the [[Basic_Glossary|Basic Glossary]]

Revision as of 00:48, 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


Back to the Basic Glossary