Prädikatenlogik/Substitution/Hintereinander/Aufgabe/Lösung


Es sei ein zweistelliges Funktionssymbol und sei der Ausdruck gleich . Wir setzen

Dann ist einerseits (wir schreiben für die Gleichheit von Ausdrücken)

was allgemeingültig ist, und andererseits

was nicht allgemeingültig ist (beispielsweise bei Interpretation in ).

Somit ist die Implikation nicht allgemeingültig.