已知一个第四格有效三段论的大前提为PEM,结论为SOP,那么小前提应为()或()。
出自:哲学