Existenzeinführung im Sukzedens/Alleinführung im Antezedens/Aufgabe

Zeige, dass in der Prädikatenlogik die Alleinführung im Antezedens ableitbar ist, also dass für eine Variable ${}x$, einen Term ${}t$ und einen Ausdruck ${}\alpha$

$\vdash \forall x\alpha \rightarrow \alpha {\frac {t}{x}}$

gilt.

Eine Lösung erstellen