Given an implication of the form [tex]P\implies Q[/tex]
The equivalent implication is [tex]\lnot Q \implies \lnot P[/tex]
So, you have to negate both propositions and invert the order:
If a triangle is not isosceles, then it's not equilateral.
