Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt

Vollständigkeitssatz für Tautologien

Es sei ein Symbolalphabet und ein -Ausdruck.

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