Aussagenlogik/Vollständigkeitssatz/Maximal widerspruchsfrei/Erfüllbar/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann ist erfüllbar.

Zum Beweis, Alternativen Beweis erstellen