Vollständigkeitssatz/Nur Variablen/Gleichheit/Tautologien/Gültigkeitsmenge/Aufgabe

Es sei ein Symbolalphabet, das nur aus Variablen besteht. Es sei

wobei verschiedene Variablen seien, und sei

Zeige, dass maximal widerspruchsfrei ist und Beispiele enthält.