Lecture 1 Propositional Logic Nptelhrd