由SEP可以推出（）.

第1题：

第2题：

“并非如果SAP假则SEP真”的等值判断是（）。

• A、SAP假并且SEP真
• B、SAP假且SEP假
• C、SAP真且SEP真
• D、要么SAP假，要么SEP假

第3题：

第4题：

根据规范模态对当关系，由“允许非P”可以推出（）。

第5题：

依据差等关系可以进行的对当关系推理是（）。

• A、并非SEP→SIP
• B、并非S0P→SAP
• C、SEP→SOP
• D、SOP→SIP
• E、SIP→SAP

第6题：

根据对当关系，由sAp真，可推知sEp（），sIp（），sOp（）。

第7题：

下列直接推理能否成立？如能成立，请用公司写出它的推理过程。 1、从SOP真，推出非PO非S真。 2、从SEP真，推出非PO非S真。 3、从SAP真，推出非PO非S真。 4、从SIP真，推出非PO非S真。 5、从SEP真，推出非PAS真。 6、从SEP真，推出非PIS真。 7、从SAP真，推出非SA非P真。

第8题：

第9题：

应用对当关系的直接推理，由SIP之真可推出（）。

• A、SAP真
• B、SOP假
• C、SEP假
• D、SEP真

第10题：

由要素可以推出系统的功能。