[多选题]

下列推理中，根据对当关系中的反对关系然而进行的有效形式是（）。

A . SAP→SEP

B . SAP→SEP

C . SEP→SAP

D . SEP→SAP

E . SAP→SOP