inverse implication

inverse implication

[′in‚vərs ‚im·plə′kā·shən] (mathematics) The implication that results from replacing both the antecedent and the consequent of a given implication with their negations.