下列三段论（其中符号∧表示同时肯定两个前提）为有效式的是A（MIP∧SAM）→SIPB（SOM∧MAP）→SOPC（MAS∧MEP）→SOPD（PAM∧SIM）→SIP