Assoziativität/Zweistellige Verknüpfung/Formal/Aufgabe
Es sei ein zweistelliges Funktionssymbol und Variablen. Formuliere das Assoziativgesetz (für )
als eine Allaussage mit Hilfe der Identität von zwei Termen.Es sei ein zweistelliges Funktionssymbol und Variablen. Formuliere das Assoziativgesetz (für )
als eine Allaussage mit Hilfe der Identität von zwei Termen.