应用对当关系的直接推理,由SIP之真可推出()。
A:SAP真
B:SOP假
C:SEP假
D:SEP真
出自:哲学