# contrapositive

Given an implication of the form

 $p\implies q$

(“p implies q”) the contrapositive of this implication is

 $\neg q\implies\neg p$

(“not q implies not p”).

An implication and its contrapositive are equivalent statements. When proving a theorem, it is often more convenient or more intuitive to prove the contrapositive instead.

Title contrapositive Contrapositive 2013-03-22 11:59:17 2013-03-22 11:59:17 yark (2760) yark (2760) 9 yark (2760) Definition msc 03B05