已知一个第二格有效三段论的大前提为PEM，结论为SOP，那么小前提应为（）或（）。