Prädikatenlogik/Endlichkeitssatz für Erfüllbarkeit/Fakt
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.