Gleichheit von Variablen/Allversion/Ableitbarkeit/Aufgabe

Es seien $x,y,u,v$ Variablen und $\Gamma =\{\mathrm{\forall }x\mathrm{\forall }y(x=y)\}$ und $\Delta =\{x=y\}$.

1. Zeige (ohne Bezug auf den Vollständigkeitssatz) $\Gamma ⊢u=v$.
2. Charakterisiere die Modelle $M$ mit $M\models \Gamma$.
3. Zeige $\Delta ⊬u=v$.

Zur Lösung, Alternative Lösung erstellen