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