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