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.
Es sei ein
Symbolalphabet
und sei
eine
syntaktische Tautologie.
Dann ist auch eine
semantische Tautologie.