Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt
Erscheinungsbild
Vollständigkeitssatz für Tautologien
Es sei ein Symbolalphabet und ein -Ausdruck.
Dann ist genau dann eine ableitbare Tautologie, wenn allgemeingültig ist.
Es sei ein
Symbolalphabet
und
ein
-Ausdruck.
Dann ist genau dann eine
ableitbare Tautologie,
wenn
allgemeingültig
ist.