Gleichheitssubstitution/Existenzaussage/Andere Variable/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige durch ein Beispiel, dass bei einem ableitbaren Ausdruck der Form

die durch die Existenzquantoren gebundenen Variablen (nach der durchgeführten Substitution)

nicht übereinstimmen müssen.
Eine Lösung erstellen