introduction to the principles of propositional logic 3420903