Aussagenlogik/Widerspruchsaxiom/Andere Reihenfolge/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige

unter Verwendung von

(Fakt).
Zur Lösung, Alternative Lösung erstellen