Prädikatenlogik/Gleichheitsaxiome/Mehrfache Substitution/Allgemeingültig/Aufgabe/Lösung


Es sei eine Interpretation mit

also

und

Nach dem Substitutionslemma bedeutet dies

Wegen der Gleichheiten kann man dies genauso gut als

schreiben. Mit dem Substitutionslemma ergibt sich hieraus wiederum