7-propositional-logic.pdf