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

Beweise allein aus der Existenzeinführung im Sukzedens und aussagenlogischen Gesetzen die Alleinführung im Antezedens, also dass für eine Variable ${}x$, einen Term ${}t$ und einen Ausdruck ${}\alpha$

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

eine Tautologie ist.

Eine Lösung erstellen