Aussagenlogik/Vollständigkeitssatz/Tautologie/Fakt

Aus Wikiversity
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.