一个有效的第三格三段论,其大前提如果为MIP,则其小前提为(),结论为()。
出自:哲学