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.