填空题 反证法的逻辑根据是（）律。因此，在运用反证法时要求反论题非p与原论题p之间是（）关系。

填空题 二难推理的简单构成式的两个假言前提的前件（），而后件（）。

填空题 一个有效的第二格三段论式，其小前提若为SIM，则其大前提应为（），结论应为（）。