Introduction to Propositional Logic for Computer Science