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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Endlichkeitssatz für Erfüllbarkeit

Es sei ein Symbolalphabet und eine Menge an -Ausdrücken. Es sei jede endliche Teilmenge erfüllbar.

Dann ist erfüllbar.

Zum Beweis, Alternativen Beweis erstellen