A negative consequent is identical to denying the whole conditional.