Introduction to Proofs Lecture 5: Biconditional Statements

Woops! At about 18:36 I make an error where I apparently decide to prove something else! You should not change the statement you are trying to prove in the middle of the proof :). For a free exercise try to change the statement back to the correct statement, then prove that.