一个有效的第三格三段论式，其大前提若为MIP，则其小前提应为（），结论应为（）。