Dr. Ben Weng
  • Home
    • About >
      • Curriculum Vitae
  • The Sunshine Blog
  • Ben the Dean
    • Math Pathways
    • Messages from the Dean
    • The Flipped Classroom
    • Course Success
  • Ben the Teacher
    • Publications
    • Math Excursions for Liberal Arts
    • MATH 2220
    • Intro to Analysis
    • Calculus III
    • Discrete Math
    • Calculus II
    • Calculus I
  • Contact

MATH 301 Appendix A Direct and Indirect Proofs
[Return to MATH 301 Fall 2016]

In this appendix students will learn the basics of how to construct mathematical proof. The focus should be on logical equivalences, direct proof, proof by contraposition and proof by contradiction.  Further references can be found in, for example, Chapter 1 of Steven Lay's Analysis with an Introduction to Proof.

Video lessons.​ Watch the bold-faced lessons. If you have difficulties, go to previous ones.
  • ​[video]   [pdf]   1 Propositions and Operations
  • ​[video]   [pdf]   2 Evaluating Propositions
  • ​[video]   [pdf]   3 Conditional Propositions
  • ​[video]   [pdf]   4 Logical Equivalence
  • ​[video]   [pdf]   5 Mathematical Proofs
  • ​[video]   [pdf]   6 Direct Proof
  • ​[video]   [pdf]   7 More Examples of Direct Proof
  • ​[video]   [pdf]   8 Proof by Contraposition
  • ​[video]   [pdf]   9 Proof by Contradiction
  • Home
    • About >
      • Curriculum Vitae
  • The Sunshine Blog
  • Ben the Dean
    • Math Pathways
    • Messages from the Dean
    • The Flipped Classroom
    • Course Success
  • Ben the Teacher
    • Publications
    • Math Excursions for Liberal Arts
    • MATH 2220
    • Intro to Analysis
    • Calculus III
    • Discrete Math
    • Calculus II
    • Calculus I
  • Contact