Verdoppelte Existenz/Ableitbar/Aufgabe

Es sei ${}\alpha \in L^{S}$. Zeige die Ableitbarkeit

$\vdash \exists x\exists x\alpha \leftrightarrow \exists x\alpha .$

Eine Lösung erstellen