Existenzeinführung im Antezedens/Keine interne Tautologie/Aufgabe

Zeige, dass der Ausdruck

${\left(\alpha {\frac {y}{x}}\rightarrow \beta \right)}\rightarrow {\left(\exists x\alpha \rightarrow \beta \right)}$

keine Tautologie ist (auch nicht, wenn ${}y$ weder in ${}\exists x\alpha$ noch in ${}\beta$ frei vorkommt).

Eine Lösung erstellen