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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Eine Lösung erstellen