Vollständigkeitssatz/Nur Variablen/Gleichheit/Tautologien/Gültigkeitsmenge/Aufgabe
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.