填空题 若一有效三段论，其大前提为MIP，则其小前提应为（），结论应为（）。

填空题 若一有效三段论，其小前提为特称否定判断，则其大前提应为（）判断，结论应为（）判断。

填空题 排中律的要求是：在同一思维过程中，对于具有（）和（）关系的判断，不应该承认它们都是假的。