Folgerung

1. Eine Formel $\psi$ folgt aus einer Formel $\varphi$, geschrieben $\varphi \models \psi$, wenn für jede zu $\varphi$ und $\psi$ passende Belegung $\beta$ gilt:
   Wenn $\beta \models \varphi$, dann auch $\beta \models \psi$.

2. Sei $\mathrm{\Phi }\subseteq AL$ eine Formelmenge und $\psi \in AL$ eine Formel.
   $\psi$ folgt aus $\mathrm{\Phi }$, wenn jede zu $\mathrm{\Phi }\cup \{\psi \}$ passende Belegung $\beta$, die $\mathrm{\Phi }$ erfüllt, auch $\psi$ erfüllt. Wir schreiben $\mathrm{\Phi }\models \psi$.

Beispiele.

1. $\{(X\wedge Y)\}\models (X\vee Y)$?
2. $\{X,Y\}\models (X\vee Y)$?
3. $\{X\}⊭(X\wedge Y)$?