Quantoren

Quantoren


Quantoren werden als Abkürzungen für folgende Formulierungen genutzt.
Es gibt ... Existenzquantor \exists
Für alle ... gilt. Allquantor \forall
Um auszudrücken, dass es genau ein ... gibt, für das .... gilt wird auch \exists ! verwendet.