Proof by Contraposition, Part 1

This video describes proof by contraposition, a method for proving a universal conditional statement by constructing a direct proof of its contrapositive. It uses a somewhat different format (a "know-show" table) from the one in Chapter 4, but it gives a proof for Proposition 4.7.4 that uses essentially the same steps as does the proof on page 222 of the book.

Click here to view the transcript.