Aussagenlogik/Vollständigkeitssatz/Tautologie/Fakt
Zur Navigation springen
Zur Suche springen
Vollständigkeitssatz der Aussagenlogik (Tautologien)
Es sei eine Menge an Aussagenvariablen und .
Dann ist
Ein Ausdruck ist also eine semantische Tautologie genau dann, wenn es eine syntaktische Tautologie ist.