Mathematische Logik: 1 Aussagenlogik 1.1 Syntax und Semantik der Aussagenlogik (Di, 09.04.2013)