Aussagenlogik/Widerspruchsaxiom/Andere Reihenfolge/Aufgabe/Lösung


Aufgrund von Fakt ist

Das Widerspruchsaxiom besagt

Das Kettenschlussaxiom liefert

Da die beiden Teile des Vordersatzes ableitbar sind, ist auch der Nachsatz ableitbar.