Allgemeine Gleichheitssubstitution/Allgemeingültig/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet, seien -Terme, verschiedene Variablen und sei ein -Ausdruck. Zeige die Allgemeingültigkeit