All und Existenz/Impliziert Umkehrung/Ableitbar/Aufgabe

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

$\vdash \exists x\forall y\alpha \rightarrow \forall y\exists x\alpha .$

Zeige, dass

$\forall y\exists x\alpha \rightarrow \exists x\forall y\alpha$

nicht ableitbar ist.

Eine Lösung erstellen