Prädikatenlogik/Zweifache Substitution/Einfache Substitution/Semantik/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Variablen, Terme und ein Ausdruck in einer prädikatenlogischen Sprache. Es seien neue Variablen, die weder in noch in noch in vorkommen. Zeige, dass

allgemeingültig ist, wobei der Ausdruck rechts als die Hintereinanderausführung von vier Einzelsubstitutionen (von links nach rechts)

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