填空题在形成假说的阶段，主要运用（）推理和（）推理。
填空题反证法的逻辑根据是（）律。因此，在运用反证法时要求反论题非p与原论题p之间是（）关系。
填空题二难推理的简单构成式的两个假言前提的前件（），而后件（）。
填空题一个有效的第二格三段论式，其小前提若为SIM，则其大前提应为（），结论应为（）。
填空题如果SOP命题假，则（）命题为真和（）为真。
