Exercise sheet 1 Introduction, Propositional Logic