# Quantifiers/Applied sciences/Introduction/Section

We consider again the propositions

- Martians are green

and

- I eat a hat,

and have a closer look at its structure
(we replace my hat by a hat).
In the first statement, a certain property is assigned to a certain kind of creatures, like we say that cheetahs are fast and sloths are slow. By the statement, one can mean that Martians are "usually“ or "almost always“ green, or, strictly speaking, that really all Martians are green. In mathematics, one is interested in statements which are true without exceptions
(or that one can list the exceptions explicitly),
so that we want to understand the statement in the strict sense. It is a *universal statement*. We have two *predicates*
(representing a property, an attribute),
to be a Martian and to be green. A predicate is something what can be assigned to an object, an item, an element or not. A predicate alone is not a proposition; with the help of a predicate, there are two different ways to build a proposition, the first is by applying (inserting) it to a concrete object to get the statement

which means that the object has the property , what might be true or not. The second way is by using a *quantifier*. In this way one can construct the statement that all^{[1]} objects
(typically from a given basic set)
have the property , what again might be true or false. This is expressed formally as

The symbol

is an abbreviation for *for all*^{[2]}, or *for every* and does not have any deeper meaning. It is called *universal quantifier*. The proposition about the Martians may be expressed by

This means that for all objects without any restriction, the following holds: if it is a Martian, then it is green. For every we have an implication inside the wide bracket.

The second statement can mean that I eat exactly one hat or at least one hat. The meaning of the indefinite article is not unique. In mathematics, it usually means *at least one*. Hence, we can paraphrase by saying

- There exists a hat which I eat.

This is an *existential proposition*.^{[3]}
A formal representation is

where means that the object is a hat and where means that is eaten by me. One could also write

The symbol

is called *existence quantifier*.

A universal proposition claims that a certain predicate holds for all objects (from a given set). Like all propositions, this might be true or false. A universal proposition is false if and only if there exists at least one object for which the predicate does not hold. Therefore the two quantifiers, the universal quantifier and the existence quantifier, can be expressed by one another with the help of the negation. We have the rules

and

Apart from monadic predicates like there are also binary and multinary predicates of the form

which express a relation between several objects like "is related with“, "is larger than“, "are parents of“ etc. Here one can quantify with respect to several variables, one has expressions like

The name of the variable in a quantified statement is not important, it does not make a difference whether we write or . The only thing one has to take into account is that only names (letters) for variables are used which are not already used in the given context.

The logic which deals with quantified statements is called *predicate logic* or *quantificational logic*. We will not deal with it systematically, as it occurs in mathematics as set theory. Instead of , that a predicate is assigned to an object, we usually write
where is the set of all object which fulfil the property. Multinary predicates occur in mathematics as relations.

- ↑ Other formulations are: every, an arbitrary, any object or element from a given basic set. If this set has a spacial character, then we talk about everywhere, if it is time like then we talk about always, ....
- ↑ It is fair to say that the words
*for all*and*there exists*are the most important words in mathematics. - ↑ Beside the formulation "there exists“ we have the formulations "there is“, "one can find“. If the existence of an object is known, then in a mathematical argumentation such an element is "just taken“, denoted somehow and worked with.