Prädikatenlogik/Quantoren/Tautologien/Ableitungen/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\alpha \wedge \forall x(\alpha \rightarrow \beta )\rightarrow \forall x\beta .$

3. $\vdash \forall x\alpha \wedge \forall x\beta \leftrightarrow \forall x{\left(\alpha \wedge \beta \right)}.$

4. $\vdash \exists x\alpha \wedge \forall x(\alpha \rightarrow \beta )\rightarrow \exists x\beta .$

5. $\vdash \exists x(\alpha \wedge \beta )\rightarrow \exists x\alpha \wedge \exists x\beta .$

Zum Beweis, Alternativen Beweis erstellen