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

.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.