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

.

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