Prädikatenlogik/Satz/Substitution/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben. Es seien paarweise verschiedene Variablen und fixierte -Terme. Zeige, dass für jeden -Satz die Gleichheit

gilt.
Zur Lösung, Alternative Lösung erstellen