WAEC Further Mathematics 2009 Question 14

Question 14

Sets and Logic

p and q are statements such that p ⇒ q. Which of the following is a valid conclusion from the implication?

  1. A.q ⇒ p
  2. B.~q ⇒ p
  3. C.~q ⇒ ~p
  4. D.~p ⇒ ~q
Show the answer and explanation

Answer: C (~q ⇒ ~p)

Explanation

An implication is always equivalent to its contrapositive: if p ⇒ q then ~q ⇒ ~p.