Prädikatenlogik/Endlichkeitssatz für Erfüllbarkeit/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Endlichkeitssatz für Erfüllbarkeit

Es sei ${}S$ ein Symbolalphabet und ${}\Gamma$ eine Menge an ${}S$ -Ausdrücken. Es sei jede endliche Teilmenge ${}\Gamma _{e}\subseteq \Gamma$ erfüllbar.

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

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Endlichkeitssatz_für_Erfüllbarkeit/Fakt&oldid=554272“

Der Vollständigkeitssatz/Fakten