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