Question 14
Sets and Logicp and q are statements such that p ⇒ q. Which of the following is a valid conclusion from the implication?
- A.q ⇒ p
- B.~q ⇒ p
- C.~q ⇒ ~p
- 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.