Existenzquantor

Einfache Sprache

Def. Existenzquantor

Der Existenzquantor $\exists$ wird gefolgt von einer Variable $x_i\in\mathbf{V}_\mathrm{FL}$ und einer Formel $\varphi\in\mathbf{F}_\mathrm{FL}$, also $\exists x_i\varphi$ und bedeutet, dass für eine Belegungen von $x_i$, die Formel $\varphi$ wahr sein muss.