Zum Inhalt springen

Vollständigkeitssatz/Korrektheitssatz/Fakt

Aus Wikiversity
Korrektheitssatz (Ableitung)

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

Dann folgt aus der Ableitungsbeziehung die Folgerungsbeziehung .