Prädikatenlogik/Vollständigkeitssatz/Erfüllbar und widerspruchsfrei/Fakt

Aus Wikiversity
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.