Workplan for Week 2 What you should before our meeting in Week 2 Study Sections 7-9 of Logic and Proof, including the examples and exercises. Try to solve the problems of the Problem Sheet. Study the extra materials: List of inference rules, Proof strategies