Aufgabe 3.39
Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Vorlesung 3 Aussagenlogik/Implikationen/Schlussregel/1/Aufgabe
