Aussagenlogik/Widerspruchsaxiom/Andere Reihenfolge/Aufgabe

Zeige

unter Verwendung von

(Fakt).