propositional logic 8239558