Prädikatenkalkül/Konjunktion der Allaussage/Rückrichtung/Aufgabe

Zeige

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

Zur Lösung, Alternative Lösung erstellen