Verdoppelte Existenz/Ableitbar/Aufgabe

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

$⊢\mathrm{\exists }x\mathrm{\exists }x\alpha \leftrightarrow \mathrm{\exists }x\alpha .$

Eine Lösung erstellen