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 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