Vollständigkeitssatz/Korrektheitssatz/Fakt

Korrektheitssatz (Ableitung)

Es sei $S$ ein Symbolalphabet, $\Gamma$ eine Menge an $S$-Ausdrücken und $\alpha$ ein weiterer $S$-Ausdruck.

Dann folgt aus der Ableitungsbeziehung $\Gamma ⊢\alpha$ die Folgerungsbeziehung $\Gamma \models \alpha$.

Zum Beweis, Alternativen Beweis erstellen