单项选择题

应用对当关系的直接推理,由SIP之真可推出()。

A.SAP真
B.SOP假
C.SEP假
D.SEP真