下列命题变形直接推理形式为有效式的有().
A:A├PE
B:SIP├OS
C:SAP├OS
D:SOP├O
E:SEP├IP
出自:哲学