Prädikatenlogik/Implikation/Existenzaussage/Aufgabe

Im Kalkül der Prädikatenlogik sei ${}\vdash \alpha \rightarrow \beta$ ableitbar. Zeige, dass dann auch

$\vdash \exists x\alpha \rightarrow \exists x\beta$

ableitbar ist.

Eine Lösung erstellen