Funktionssymbol/Wert/Eindeutige Existenz/Allgemeingültig/Aufgabe

Aus Wikiversity

Es sei ein erststufiges Symbolalphabet und ein -stelliges Funktionssymbol. Zeige, dass der Ausdruck

allgemeingültig

ist.