如果SIP为真，则一定有（）

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

一件谋杀案，经过周密调查后得到了以下确切的判断:

(1)凶手是甲或者乙;

(2)若凶手是甲，则谋杀不会发生在午夜前，

(3)若乙的供词是正确的，则谋杀发生在午夜前:

(4)若乙的供词不正确，则在午夜前受害者房里的灯光未灭，

(5)在午夜前受害者房里的灯光灭了。

试问:根据以上判断可推出谁是凶手?请写出推导过程。

同时具有对称性和传递性的关系包括（）

• A、概念间的全同关系
• B、命题间的等值关系
• C、概念间的矛盾关系
• D、概念间的真包含关系
• E、命题间的蕴涵关系