Vollständigkeitssatz/Korrektheitssatz/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

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

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Vollständigkeitssatz/Korrektheitssatz/Fakt&oldid=395956“

Der Vollständigkeitssatz/Fakten