denying the consequent

To argue validly that, given that if p then q and given not-q, we can infer not-p. ‘If the leg is broken this will hurt; it does not hurt, so the leg is not broken.’