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

Es sei ${}V$ eine Menge an Aussagenvariablen und ${}\Gamma \subseteq L^{V}$ eine maximal widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik.

Dann ist ${}\Gamma$ erfüllbar.

Zum Beweis, Alternativen Beweis erstellen