充分条件假言推理的有效式之一是否定____________________ 式。