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