Vollständigkeitssatz/Nur eine Variable/Tautologien/Gültigkeitsmenge/Aufgabe

Es sei ${}S$ ein Symbolalphabet, das allein aus der einzigen Variablen ${}x$ besteht. Zeige, dass die Menge aller ${}S$-Tautologien maximal widerspruchsfrei ist und Beispiele enthält.

Eine Lösung erstellen