Definition 101: For statements \phi and \psi , the contrapositive of the implication (\phi \Rightarrow \psi) is given by (\neg \psi \Rightarrow \neg \phi) , where we have used negation.