WEEK 1- 1st LECTURE (Introduction, Propositional Logic)