Prädikatenlogik/Vollständigkeitssatz/Fakt
Erscheinungsbild
Vollständigkeitssatz
Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck.
Dann gilt genau dann, wenn gilt.
Es sei ein
Symbolalphabet,
eine Menge an
-Ausdrücken
und
ein weiterer
-Ausdruck.
Dann gilt genau dann, wenn
gilt.