以PEM为大前提、MAS为小前提构成的三段论，能必然推出结论（）。