Prädikatenlogik/Allgemeingültig/Assoziativität/4 Elemente/Aufgabe
Zur Navigation springen
Zur Suche springen
Es sei ein erststufiges Symbolalphabet und ein -stelliges Funktionssymbol. Zeige, dass der Ausdruck