Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Aussagenlogik/Ableitungskalkül/p impliziert (q impliziert p und q)/Aufgabe/Aufgabereferenznummer