Aussagenlogik/Vollständigkeitssatz/Maximal widerspruchsfrei/Erfüllbar/Fakt
Es sei eine Menge an Aussagenvariablen und eine maximal widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik.
Dann ist erfüllbar.
Es sei eine Menge an
Aussagenvariablen
und
eine
maximal widerspruchsfreie
Teilmenge der zugehörigen
Sprache der Aussagenlogik.
Dann ist
erfüllbar.