Funktionssymbol/Wert/Eindeutige Existenz/Ableitung/Aufgabe

Es sei ${}S$ ein erststufiges Symbolalphabet und ${}f\in S$ ein ${}n$-stelliges Funktionssymbol. Erstelle eine Ableitung für den Ausdruck

$\exists y{\left({\left(fx_{1}{\ldots }x_{n}=y\right)}\wedge \forall z{\left({\left(fx_{1}{\ldots }x_{n}=z\right)}\rightarrow y=z\right)}\right)}.$

Eine Lösung erstellen