当S真包含P时，由此可以得到（）。

• A、SOP与SEP均真
• B、SAP与SOP均真
• C、SOP与SIP均真
• D、SIP与SEP均真

有些数学理论没有应用价值，所以，有些理论虽然在逻辑上严谨但是没有应用价值。以下能够保证上述推理成立的判断是（）。

• A、所有在逻辑上严谨的理论都是数学理论
• B、有些数学理论在逻辑上是严谨的
• C、所有的数学理论在逻辑上都是严谨的
• D、有些逻辑上严谨的理论是数学理论

根据下反对关系，由（）可以得到“可能 p”。