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

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