Aussagenlogik/Vollständigkeitssatz/Widerspruchsfrei/Erfüllbar/Beliebiger Fall/Fakt
Zur Navigation springen
Zur Suche springen
Es sei eine Menge an Aussagenvariablen und eine widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik.
Dann ist erfüllbar.