充分条件假言推理否定后件式的结构是：在前提中否定充分条件假言判断的后件，结论否定它的( )。