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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

allgemeingültig

ist.
Eine Lösung erstellen