Proof By Contrapositives
Channel: Andrew Misseldine
Date: 2022-09-15

In this video, we present the method of Contrapositive Proof, which means we prove the contrapositive of the conditional to be true instead of the original statement. As a conditional statement is logically equivalent to its contrapositive, this provides a valid proof pattern. 

This is lecture 16 (part 2/3) of the lecture series offered by Dr. Andrew Misseldine for the course Math 3120 - Transition to Advanced Mathematics at Southern Utah University. A transcript of this lecture can be found at Dr. Misseldine's website or through his Google Drive at:  https://drive.google.com/file/d/1Y7t9g-SpwWcj9oHZyauXNJFk94wxlAoP/view

This lecture is based upon Sections 3.7, 5.1, and 5.3 of Book of Proof (https://www.people.vcu.edu/~rhammack/BookOfProof/) by Richard Hammack, from the corresponding sections of A Transition to Advanced Mathematics (https://math.byu.edu/~doud/Transition/) by Darrin Doud and Pace P. Nielsen, and from Dr. Misseldine's own notes. Please post any questions you might have below in the comment field and Dr. Misseldine (or other commenters) can answer them for you. Please also subscribe for further updates.