Vollständigkeitssatz/Korrektheitssatz/Fakt

Aus Wikiversity
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 .

Zum Beweis, Alternativen Beweis erstellen