Existenzquantor
- Quantor , für ‘mindestens eins’
- Besagt, dass mindestens ein Element einer Menge eine bestimmte Eigenschaft erfüllt
- Formelzeichen: $\exists$
- Beispiel:
$\exists x \in \mathbb{N} \text{ : } x^2 = 4\qquad$ -> Es gibt mindestens ein Element $x$ in der Menge $\mathbb{N}$, für welches gilt: $x^2=4$
$\exists$ = Existenzquantor
$x$ = Variable
$\in$ = Element-Symbol
$\mathbb{N}$ = Menge der natürlichen Zahlen