Full Idea
The fallacy of 'denying the antecedent' is of the form φ→ψ, ¬φ, so ¬ψ.
Gist of Idea
'Denying the antecedent' fallacy: φ→ψ, ¬φ, so ¬ψ
Source
Robert Hanna (Rationality and Logic [2006], 5.4)
Book Reference
Hanna,Robert: 'Rationality and Logic' [MIT 2006], p.141