Vollständigkeitssatz/Korrektheitssatz für Tautologien/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Korrektheitssatz für Tautologien

Es sei ein Symbolalphabet und sei eine syntaktische Tautologie.

Dann ist auch eine semantische Tautologie.

Zum Beweis, Alternativen Beweis erstellen