一个有效的第三格三段论，其大前提为MIP，其小前提应为（），结论应为（）。

论证是用一个或一些（）的判断确定另一个判断的真实性的思维过程。

填空题论证是用一个或一些（）的判断确定另一个判断的真实性的思维过程。

“兵不在多而在精”和“甲不当班长而乙当班长”所具有的共同的逻辑形式，若用p、q作变项，可表示为（）。

填空题“兵不在多而在精”和“甲不当班长而乙当班长”所具有的共同的逻辑形式，若用p、q作变项，可表示为（）。

若SAP取值为真，则SIP取值为（），SOP取值为（）。

填空题若SAP取值为真，则SIP取值为（），SOP取值为（）。