Gleichheit von Variablen/Allversion/Ableitbarkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Variablen und und .

  1. Zeige (ohne Bezug auf den Vollständigkeitssatz) .
  2. Charakterisiere die Modelle mit .
  3. Zeige .
Zur Lösung, Alternative Lösung erstellen