Aussagenlogik/Vollständigkeitssatz/Beliebiger Fall/Fakt
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