Zum Inhalt springen

Substitution/Hintereinanderschaltung/Formel/Ausdrücke/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben. Es seien paarweise verschiedene Variablen und fixierte -Terme. Zeige durch ein Beispiel, dass für Ausdrücke die Gleichheit (von Ausdrücken)

nicht gelten muss.