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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Zur gelösten Aufgabe