Prädikatenlogik/Vollständigkeitssatz/Erfüllbar und widerspruchsfrei/Fakt
Zur Navigation springen
Zur Suche springen
Es sei ein Symbolalphabet und eine Menge an -Ausdrücken.
Dann ist genau dann widerspruchsfrei, wenn erfüllbar ist.