Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussagenlogik/Ableitungsbeziehung/Fallunterscheidungsregel/Aufgabe/Lösung
Sprache
Beobachten
Bearbeiten
<
Aussagenlogik/Ableitungsbeziehung/Fallunterscheidungsregel/Aufgabe
Es gilt
⊢
(
α
→
β
)
∧
(
¬
α
→
β
)
→
β
{\displaystyle \vdash (\alpha \rightarrow \beta )\wedge (\neg \alpha \rightarrow \beta )\rightarrow \beta }
nach
Axiom (6)
. Nach Voraussetzung und
Fakt (5)
ergibt sich daraus
⊢
β
{\displaystyle {}\vdash \beta }
.
Zur gelösten Aufgabe