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