已知SIP为真,可以推出下列为真的有()。
A:SI
B:IS
C:SO
D:OS
出自:法学