Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Vollständigkeitssatz für Tautologien

Es sei ${}S$ ein Symbolalphabet und ${}\alpha \in L^{S}$ ein ${}S$ -Ausdruck.

Dann ist ${}\alpha$ genau dann eine ableitbare Tautologie, wenn ${}\alpha$ allgemeingültig ist.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt&oldid=842695“

Der Vollständigkeitssatz/Fakten