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

Aus Wikiversity

Zur Navigation springen Zur Suche springen

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

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

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Aussagenlogik/Vollständigkeitssatz/Widerspruchsfrei/Erfüllbar/Beliebiger_Fall/Fakt&oldid=838022“

Der Vollständigkeitssatz der Aussagenlogik/Fakten