单项选择题

以下推理形式,无效的是:()

A.SEP推出PES
B.SIP推出PIS
C.SOP推出POS
D.SAP推出PIS