The implication x \(\to\) y is equivalent to?
A
~ y \(\to\) ~ x
B
y \(\to\) ~ x
C
~ x \(\to\) ~ y
D
y \(\to\) x
Verified Correct Answer: A.
Step-by-Step Mathematical Solution
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.
Source: WAEC / JAMB / NECO Classroom Archive (Record #58289)