Alkohol/Lösung/Aufgabe/Lösung

Die erste Aussage kann man als

$A\to \mathrm{\neg }L$

und die zweite Aussage als

$\mathrm{\neg }A\to \mathrm{\neg }L$

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

$\mathrm{\neg }L,$

dass es also keine Lösung gibt.

Zur gelösten Aufgabe