Section 1.5: Methods of Proof Now that we have covered propositional and predicate logic, we will introduce some formal rules of reasoning for constructing proofs. Proof…