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