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