Modell

Eine (zu einer Formel passende) Belegung $\beta$ heißt Modell einer aussagenlogischen Formel $\phi$, wenn $[[\phi \parallel \phi ]{]}_{\beta }=1$ gilt.
Notation: $\beta \models \phi$.

Beispiel

• Sei $\phi :=(X\vee \mathrm{\neg }Y)\wedge Z$.
  Die Belegung $\beta (X)=0,\beta (Y)=0,\beta (Z)=1$ ist ein Modell von $\phi$, da
  $X\vee \mathrm{\neg }Y=0\vee 1=1$ und $1\wedge Z=1\wedge 1=1$.