试题要求：
推理形式正确的有（ ）。
试题解析：
答案：CE
解析：
A.SIP⊢SOP是下反对关系，不能同假，必有一真，所以推理形式错误，应该为﹁SIP⊢SOP。B.﹁SEP⊢SAP，是反对关系，不能同真，可以同假，所以正确形式是SEP⊢﹁SAP。D.SOP⊢SEP是差等关系，特称判断是假的，全称判断就是假的，所以正确形式是﹁SOP⊢﹁SEP。
考点：演绎推理（二）：基于命题的推理,模态推理
推理形式正确的有（ ）。
A.SIP⊢SOP是下反对关系，不能同假，必有一真，所以推理形式错误，应该为﹁SIP⊢SOP。B.﹁SEP⊢SAP，是反对关系，不能同真，可以同假，所以正确形式是SEP⊢﹁SAP。D.SOP⊢SEP是差等关系，特称判断是假的，全称判断就是假的，所以正确形式是﹁SOP⊢﹁SEP。