Prädikatenlogik/Allgemeingültig/Assoziativität/4 Elemente/Aufgabe

Es sei ${}S$ ein erststufiges Symbolalphabet und ${}f\in S$ ein ${}2$-stelliges Funktionssymbol. Zeige, dass der Ausdruck

$(\forall x\forall y\forall z(ffxyz=fxfyz))\rightarrow (\forall x\forall y\forall z\forall w(fffxyzw=fxfyfzw))$

allgemeingültig ist.

Eine Lösung erstellen