The phrases
,,there exists ...``, and ,,for all ...``
are symbolically abbreviated by the existential quantifier
and the universal quantifier
respectively.
These quantifiers are commonly used in the context of statements
that depend on a parameter
in a set
.
Notation |
meaning |
 |
there is at least one in ,
for which is true |
 |
is true for all in  |
Negation of statements turns existential quantifiers into universial quantifiers and vice versa:
The symbol
is also commonly used to represent the phrase ,,there exists one and only one ...``.
(Authors: Höllig/Kimmerle/Abele)
|
automatically generated
6/11/2007 |