Lara's Term Paper

Introduction to Quantifiers

The following e-learning material provides an introduction to the topic of quantifiers by integrating examples, illustrations as well as different types of interactive exercises of varying difficulty and their solutions. It intends to cover the central ideas of the concept of quantifiers without too much formal logic and therefore provides a basis for further study.

Wiki pages

Definition

A ‘quantifier’ is a word like many, few, little, several, which is used in a noun phrase to indicate the quantity of something.

In logic, quantifiers are operators binding variables, which means that a quantifier connects parts of a sentence that classify a domain of discourse.

Individual variables are written as “x” and can refer to any individual.

Different Types of Quantifiers

There are different types of quantifiers which can be divided in:

• Logical quantifiers
  • Universal quantifier
  • Existential quantifier
• Restricted quantifiers

In predicate logic the two fundamental quantifiers are the logical quantifiers (also called generalized quantifiers), which are the universal quantifier and the existential quantifier.

Logical Quantifiers (Generalized Quantifiers)

T A B E L L E

The Universal Quantifier ∀

• The universal quantifier is used to mean that the statement is true for every entity in the domain in question.
• symbolized by the operator ∀
• conveyed by such expressions as all, every and each
• The sequence “∀x” is read as
  • “For every thing x”
  • “For any value of x”
  • “For all values of x”
  • “Whatever x may be”

Glossary entries

Links to additionally created glossary entries

Online excercises

Links to additionally created online exercises