Vollständigkeitssatz/Korrektheitssatz für Tautologien/Fakt

Korrektheitssatz für Tautologien

Es sei ein Symbolalphabet und sei eine syntaktische Tautologie.

Dann ist auch eine semantische Tautologie.