Prädikatenlogik/Gleichheitsaxiome/Mehrfache Substitution/Allgemeingültig/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Variablen, Terme und ein Ausdruck in einer prädikatenlogischen Sprache . Zeige, dass

allgemeingültig

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