否后必否前是什么推理