Prädikatenlogik/Satz/Substitution/Aufgabe
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.
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.