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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Aufgrund von Fakt ist

Das Widerspruchsaxiom besagt

Das Kettenschlussaxiom liefert

Da die beiden Teile des Vordersatzes ableitbar sind, ist auch der Nachsatz ableitbar.
Zur gelösten Aufgabe