下列三段论为有效式的是(其中符号∧表示同时肯定两个前提)().
A:MIP∧SAM├SIP
B:SOM∧MAP├SOP
C:MAS∧MEP├SOP
D:PAM∧SIM├SIP
出自:哲学