Alkohol/Lösung/Aufgabe/Lösung

Die erste Aussage kann man als

$A\rightarrow \neg L$

und die zweite Aussage als

$\neg A\rightarrow \neg L$

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

$\neg L,$

dass es also keine Lösung gibt.

Zur gelösten Aufgabe