Alkohol/Lösung/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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