Original: It can also be referred to as denying the consequent, and is a valid form of argument (unlike similarly-named but invalid arguments such as affirming the consequent or denying the antecedent).
Simplified: References