Question 11
LogicThe implication x ⇒ y is equivalent to
- A.~y ⇒ ~x
- B.y ⇒ ~x
- C.~x ⇒ ~y
- 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.