Allquantor
- Quantor ‘für alle’
- Besagt, dass eine Aussage für alle Elemente einer bestimmten Menge gilt
- Formelzeichen: $\forall$
- Beispiel:
$\forall x \in \mathbb{N} \text{ : } x + 1 > x\qquad$ -> Für jedes Element $x$ in der Menge $\mathbb{N}$ gilt: $x + 1 > x$
$\forall$ = Allquantor
$x$ = Variable
$\in$ = Element-Symbol
$\mathbb{N}$ = Menge der natürlichen Zahlen