Discrete Math Propositional Logic Rules of Inference Part 1 Rules of Inference Part 2 Proofs Part 1 Proofs Part 2 Examples of Proofs