Musterlösung zu und Änderung von Blatt 5
Änderungen im Übungsblatt 5:
Die Präsenzaufgabe 3, bzw. Hausaufgabe 5.3 wird dahingehend geändert, dass der Äquivalenzbeweis entweder semantisch oder syntaktisch geführt werden soll (siehe auch Musterlösung sowie Tutorium am 24.11.2011).
