Vollständigkeitssatz/Korrektheitssatz für Tautologien/Fakt
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.