“If X is cat, then X is mammal” =?> “X is mammal if and only if X is cat”

Obviously doesn’t hold: “What if X doge?”