Aussagenlogik/Vollständigkeitssatz/Auffüllungsstrategie/Zorn/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann gibt es eine maximal widerspruchsfreie Teilmenge , die enthält.

Zum Beweis, Alternativen Beweis erstellen