Zum Inhalt springen

Prädikatenlogik/Vollständigkeitssatz/Fakt

Aus Wikiversity
Vollständigkeitssatz

Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck.

Dann gilt genau dann, wenn gilt.