All und Existenz/Impliziert Umkehrung/Ableitbar/Aufgabe

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

$⊢\mathrm{\exists }x\mathrm{\forall }y\alpha \to \mathrm{\forall }y\mathrm{\exists }x\alpha .$

Zeige, dass

$\mathrm{\forall }y\mathrm{\exists }x\alpha \to \mathrm{\exists }x\mathrm{\forall }y\alpha$

nicht ableitbar ist.

Eine Lösung erstellen