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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Zur gelösten Aufgabe