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