Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Existenzeinführung im Antezedens/Keine interne Tautologie/Aufgabe
Sprache
Beobachten
Bearbeiten
Zeige, dass der Ausdruck
(
α
y
x
→
β
)
→
(
∃
x
α
→
β
)
{\displaystyle {\left(\alpha {\frac {y}{x}}\rightarrow \beta \right)}\rightarrow {\left(\exists x\alpha \rightarrow \beta \right)}}
keine
Tautologie
ist
(auch nicht, wenn
y
{\displaystyle {}y}
weder in
∃
x
α
{\displaystyle {}\exists x\alpha }
noch in
β
{\displaystyle {}\beta }
frei vorkommt).
Eine Lösung erstellen