Handouts on More Advanced Proofs for M 325K Spring 2024

---

---

Click on the desired handout name.

---

---

• Proof-by-Contradiction and Proof-by-Contraposition

  • Attached: Two Ways to Prove a Universal Statement Using Proof-by-Contradiction
  • Attached: Two Proofs of the Same Statement with Structures Worth Comparing
  • Attached: A Solution for Section 4.5, #13 (assigned in HW #5), which uses Theorem (NIB) 3.
  • Attached: A Solution for Section 4.5, #13 (assigned in HW #5), that uses Division into Cases, but Not Theorem (NIB) 3

• Irrational Square Roots: SQRT(2) and SQRT(n) when n is a Positive Integer and Not a Perfect Square
• The Design and Examples of Proofs using Division into Cases

  • Attached: Outline of a Proof Using Division into Cases
  • Attached: A Theorem and the Parity Corollary

• An Example Model Proof to Help with HW #5A, Part II

---

---