Aussagenlogik/Widerspruchsaxiom/Andere Reihenfolge/Aufgabe

Zeige

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

unter Verwendung von

$\vdash \gamma \wedge \delta \rightarrow \delta \wedge \gamma$

(Fakt).

Zur Lösung, Alternative Lösung erstellen