0-Belegung

Einfache Sprache

Def. 0-Belegung

Für $\varphi\in\mathbf F_{AL}$ und Passende Variablenbelegung $\beta$ is $\beta$ ist eine 0-Belegung (bzw. kein Modell) für $\varphi$, geschrieben $\beta\not\models\varphi$, falls $\textlbrackdbl\varphi\textrbrackdbl_\beta=0$.