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