The proposition that “A implies B” is not the equivalent of “non-A implies non-B,” and neither proposition follows logically from the other. The process of inferring one from the other is known as “the fallacy of denying the antecedent.”

Ruggero J. Aldisert, Agatha D. Aldisert, Logic for Lawyers- A Guide …, loc. 938