Gleichheit von Variablen/Allversion/Ableitbarkeit/Aufgabe

< Gleichheit von Variablen < Allversion < Ableitbarkeit

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

Zeige (ohne Bezug auf den Vollständigkeitssatz) ${}\Gamma \vdash u=v$ .
Charakterisiere die Modelle ${}M$ mit ${}M\vDash \Gamma$ .
Zeige ${}\Delta \not \vdash u=v$ .

Zur Lösung, Alternative Lösung erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.