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

Es sei ${}S$ ein Symbolalphabet, das nur aus Variablen besteht. Es sei

${}\Delta =\{x=y\}\,,$

wobei ${}x,y$ verschiedene Variablen seien, und sei

${}\Gamma =\Delta ^{\vdash }\,.$

Zeige, dass ${}\Gamma$ maximal widerspruchsfrei ist und

Beispiele enthält.

Eine Lösung erstellen