< Aussagenlogik < Widerspruchsaxiom < Andere Reihenfolge
Zeige
⊢
α
∧
¬
α
→
β
{\displaystyle \vdash \alpha \wedge \neg \alpha \rightarrow \beta }
unter Verwendung von
⊢
γ
∧
δ
→
δ
∧
γ
{\displaystyle \vdash \gamma \wedge \delta \rightarrow \delta \wedge \gamma }
(
Fakt
).
Zur Lösung
,
Alternative Lösung erstellen
This article is issued from
Wikiversity
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.
