以MAP为大前提，MAS为小前提，可必然推出结论（）。