The implication x \(\to\) y is equivalent to?
-
~ y \(\to\) ~ x
- y \(\to\) ~ x
- ~ x \(\to\) ~ y
- y \(\to\) x
The correct answer is: A
Explanation
x→y means "if x is true, then y is true."
The contrapositive of x→y is ∼y → ∼x, which is logically equivalent to the original implication.