Implikation/Allimplikation/Regel/Fakt/Beweis/Aufgabe

Zeige, dass mit

$\vdash \alpha \rightarrow \beta$

auch

$\vdash \forall x\alpha \rightarrow \forall x\beta$

gilt.

Zur Lösung, Alternative Lösung erstellen