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