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