【名词&注释】
三段论(syllogism)、大前提(major premise)、小前提(minor premise)
[填空题]一个有效的第三格三段论,其大前提如果为MIP,则其小前提为(),结论为()。