introduction to propositional logic 622925