WAEC Mathematics 2020 Question 11

Question 11

Logic

The implication x ⇒ y is equivalent to

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

Answer: A (~y ⇒ ~x)

Explanation

An implication always has the same truth value as its contrapositive: x ⇒ y is equivalent to ~y ⇒ ~x.