,
~ q ⇒ ~ p (students can verify) The contrapositive of a conditional can be formed by interchanging the conclusion
and the hypothesis and negating both Example 6 Prove that the function f : R →
→
→
→
→ R  defined by f (x) = 2x + 5 is one-one