Lectures On Propositional Logic