必要条件假言命题推理的有效式之一是否定（） 式。