某有效三段论的大前提为MOP，小前提应为（），结论应为（）。