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