propositional-and-predicate-logic.pdf