Aussagenlogik/Widerspruchsaxiom/Andere Reihenfolge/Aufgabe

Zeige

$⊢\alpha \wedge \mathrm{\neg }\alpha \to \beta$

unter Verwendung von

$⊢\gamma \wedge \delta \to \delta \wedge \gamma$

(Fakt).

Zur Lösung, Alternative Lösung erstellen