对SEP进行对当关系推理或命题变形推理，则可有效地推出（）。

对SEP进行对当关系推理或命题变形推理，则可有效地推出（）。
A.PAS
B.PAS
C.SIP
D.PIS
正确答案：BCD