Propositional Logic Logic Equivalences Predicates and Quantifiers Rules of Inference Methods of Proving Theorems