Vollständigkeitssatz/Korrektheitssatz/Fakt
Zur Navigation springen
Zur Suche springen
Korrektheitssatz (Ableitung)
Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck.
Dann folgt aus der Ableitungsbeziehung die Folgerungsbeziehung .