Vollständigkeitssatz/Nur eine Variable/Tautologien/Gültigkeitsmenge/Aufgabe
Es sei ein Symbolalphabet, das allein aus der einzigen Variablen besteht. Zeige, dass die Menge aller -Tautologien maximal widerspruchsfrei ist und
Beispiele enthält.Es sei ein Symbolalphabet, das allein aus der einzigen Variablen besteht. Zeige, dass die Menge aller -Tautologien maximal widerspruchsfrei ist und
Beispiele enthält.