Aussagenlogik/Vollständigkeitssatz/Beliebiger Fall/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Vollständigkeitssatz der Aussagenlogik

Es sei eine Menge an Aussagenvariablen und eine Teilmenge der zugehörigen Sprache der Aussagenlogik. Es sei .

Dann ist

Zum Beweis, Alternativen Beweis erstellen