Exit
Lesson 013 · Step 1 of 4Streak 00

Same claim, turned around

The contrapositive of P⇒QP \Rightarrow Q is ¬Q⇒¬P\lnot Q \Rightarrow \lnot P. It says exactly the same thing, so proving one proves the other.

The converse of P⇒QP \Rightarrow Q is Q⇒PQ \Rightarrow P. That is a different claim, and it can be false when the original is true.