Zum Inhalt springen

Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt

Aus Wikiversity
Vollständigkeitssatz für Tautologien

Es sei ein Symbolalphabet und ein -Ausdruck.

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