Assoziativität/Zweistellige Verknüpfung/Formal/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein zweistelliges Funktionssymbol und Variablen. Formuliere das Assoziativgesetz (für )

als eine Allaussage mit Hilfe der Identität von zwei Termen.
Eine Lösung erstellen