1-Belegung

Einfache Sprache

Ein Modell in der Logik ist eine Variablenbelegung sodass eine Aussagenlogischen Formel) 1 ergibt

Def. 1-Belegung

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

Für eine Teilmenge $M\subseteq\mathbf F_{AL}$ der Menge alle Aussagenlogischen Formel ist die Variablenbelegung $\beta$ ein Modell, falls $\beta$ ein Modell für alle $\varphi\in M$ ist.