Prädikatenkalkül/Konjunktion der Allaussage/Hinrichtung/Aufgabe

Zeige

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

Zur Lösung, Alternative Lösung erstellen