Vollständigkeitssatz/Korrektheitssatz für Tautologien/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Korrektheitssatz für Tautologien

Es sei ${}S$ ein Symbolalphabet und sei ${}\alpha \in L^{S}$ eine syntaktische Tautologie.

Dann ist ${}\alpha$ auch eine semantische Tautologie.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Vollständigkeitssatz/Korrektheitssatz_für_Tautologien/Fakt&oldid=689950“

Der Vollständigkeitssatz/Fakten