“否定前件就要否定后件，肯定后件就要肯定前件” 是充分条件假言推理的规则。