7、 在三段论第三格的有效式中,如果大前提是MIP, 那么小前提应是(____),结论则是(____)。