Allquantor

Einfache Sprache

Def. Allquantor

Der Allquantor $\forall$ wird gefolgt von einer Variable $x_i\in\mathbf{V}_\mathrm{FL}$ und einer Formel $\varphi\in\mathbf{F}_\mathrm{FL}$, also $\forall x_i\varphi$ und bedeutet, dass für alle möglichen Belegungen von $x_i$, die Formel $\varphi$ wahr sein muss.