Zum Inhalt springen

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

Aus Wikiversity

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.