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