WAEC - Mathematics (2020 - No. 10)
The implication x \(\to\) y is equivalent to?
~ y \(\to\) ~ x
y \(\to\) ~ x
~ x \(\to\) ~ y
y \(\to\) x
הֶסבֵּר
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.