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 }^{\prime }\subseteq L^V$  gibt, die $\mathrm{\Gamma }$ enthält.

Zur Lösung, Alternative Lösung erstellen