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 \vdash \alpha$ die Folgerungsbeziehung ${}\Gamma \vDash \alpha$.

Zum Beweis, Alternativen Beweis erstellen