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