Uma afirmação logicamente equivalente a: “Se Fulano é casado, então é trabalhador” é:

Se Fulano não é casado, então não é trabalhador.

Se Fulano não é casado, então é trabalhador

Se Fulano é trabalhador, então é casado.

Se Fulano não é trabalhador, então é casado.

Se Fulano não é trabalhador, então não é casado