introduction to propositional logic 9697690