Respuesta :

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.