9. Rules of inference

Do you recall the rules of inference used in propositional logic? There are such rules used in predicate logic as well to reason about quantified statements.