Zum Inhalt springen

Prädikatenlogik/Satz/Substitution/Aufgabe

Aus Wikiversity

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.