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