：如果有一个前提是否定的，则结论是否定的下列三段论（其中符号∧表示同时肯定两个前提）为有效式的是（）A（MAS∧MEP）→SOP.B（SOM∧MAP）→SOP.C（MIP∧SAM）→SIP.D（PAM∧SIM）→SIP.