以PAM为一前提，增补（）或（）为另一前提，可必然推出SI。

以PAM为一前提，增补（）或（）为另一前提，可必然推出SI。
A.SIM
B.SOM
C.MOS
D.MFS
正确答案：BD