假如一个类比推理的前提为真，则结论的真假情况是（）。

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

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

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

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

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

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