Alkohol/Lösung/Aufgabe/Lösung

Aus Wikiversity
Wechseln zu: Navigation, Suche

Die erste Aussage kann man als

und die zweite Aussage als

formalisieren. Aus der Fallunterscheidungsregel ergibt sich die Gültikeit von

dass es also keine Lösung gibt.
Zur gelösten Aufgabe