Aussagenlogik/Vollständigkeitssatz/Beliebiger Fall/Fakt
Erscheinungsbild
Vollständigkeitssatz der Aussagenlogik
Es sei eine Menge an Aussagenvariablen und eine Teilmenge der zugehörigen Sprache der Aussagenlogik. Es sei .
Dann ist
Es sei eine Menge an
Aussagenvariablen
und
eine Teilmenge der zugehörigen
Sprache der Aussagenlogik.
Es sei
.
Dann ist