Vollständigkeitssatz/Korrektheitssatz/Fakt

Korrektheitssatz (Ableitung)

Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck.

Dann folgt aus der Ableitungsbeziehung die Folgerungsbeziehung .