Aussagenlogik/Ableitungsbeziehung/Widerspruchsregel/Aufgabe/Lösung

Es gilt

$\vdash \neg \alpha \wedge \alpha \rightarrow \beta$

nach Axiom  (5). Nach der Voraussetzung und Fakt  (5)

ergibt sich daraus ${}\vdash \beta$.

Zur gelösten Aufgabe