Existenzquantor

In der Aussagenlogik symbolisiert der Existenzquantor "›" (ein umgedrehtes E) die Worte "es gibt" oder "es existiert".

Beispiel:

Die Aussage "Es gibt mindestens eine rationale Zahl, die kleiner als 0 ist" schreibt man in der Form

_{erfüllt. Neben dem Existenzquantor gibt esals duales Symbolden Allquantor "" (ein umgedrehtes A) mit der Bedeutung "für alle".}