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