Answer:
[tex]\lnot y\Rightarrow \lnot x[/tex]
Step-by-step explanation:
This is the definition of the contrapositive of an implication.
If you draw out the truth tables for each implication, you will see that those two implications are logically equivalent.
