一个有效的第三格三段论,其大前提为MIP,其小前提应为(),结论应为()。
出自:00024《普通逻辑》