Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Implikation/Allimplikation/Regel/Fakt/Beweis/Aufgabe
Sprache
Beobachten
Bearbeiten
<
Implikation/Allimplikation/Regel/Fakt
|
Beweis
Zeige, dass mit
⊢
α
→
β
{\displaystyle \vdash \alpha \rightarrow \beta }
auch
⊢
∀
x
α
→
∀
x
β
{\displaystyle \vdash \forall x\alpha \rightarrow \forall x\beta }
gilt.
Zur Lösung
,
Alternative Lösung erstellen