充分条件假言推理与必要条件假言推理在形式上正好相反。