Prädikatenlogik/Implikation/Existenzaussage/Aufgabe

Im Kalkül der Prädikatenlogik sei $⊢\alpha \to \beta$ ableitbar. Zeige, dass dann auch

$⊢\mathrm{\exists }x\alpha \to \mathrm{\exists }x\beta$

ableitbar ist.

Eine Lösung erstellen