Aussagenlogik/Vollständigkeitssatz/Widerspruchsfrei/Erfüllbar/Beliebiger Fall/Fakt

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

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

Zum Beweis, Alternativen Beweis erstellen