Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussagenlogik/Ableitungskalkül/Triviale Implikation/Fakt
Sprache
Beobachten
Bearbeiten
Es ist
⊢
α
→
α
.
{\displaystyle \vdash \alpha \rightarrow \alpha .}
Zum Beweis
,
Alternativen Beweis erstellen