必要条件假言推理肯定前件就要肯定后件。