Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Vollständigkeitssatz für Tautologien

Es sei ein Symbolalphabet und ein -Ausdruck.

Dann ist genau dann eine ableitbare Tautologie, wenn allgemeingültig ist.

Zum Beweis, Alternativen Beweis erstellen