[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff] | ||

Mathematics-Online course: Basic Mathematics - Propositional Logic | ||

## Quantifiers |

[previous page] [next page] | [table of contents][page overview] |

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)

(temporary unavailable)

[previous page] [next page] | [table of contents][page overview] |

automatically generated 10/31/2008 |