Prädikatenlogik/Quantoren/Tautologie/Vertauschung/Fakt

Die folgenden Ausdrücke sind im Prädikatenkalkül ableitbar.

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

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

Zum Beweis, Alternativen Beweis erstellen