Aussagenlogik/Ableitungsbeziehung/Fallunterscheidungsregel/Aufgabe/Lösung

Es gilt

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

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

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

Zur gelösten Aufgabe