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

Es sei ${}V$ eine Menge an Aussagenvariablen und ${}\Gamma \subseteq L^{V}$ eine widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik. Zeige mit dem Lemma von Zorn, dass es eine maximal widerspruchsfreie Teilmenge ${}\Gamma '\subseteq L^{V}$ gibt, die ${}\Gamma$ enthält.

Zur Lösung, Alternative Lösung erstellen