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