试题要求：
一件谋杀案，经过周密调查后得到了以下确切的判断：
（1）凶手是甲或者乙；
（2）若凶手是甲，则谋杀不会发生在午夜前；
（3）若乙的供词是正确的，则谋杀发生在午夜前；
（4）若乙的供词不正确，则在午夜前受害者房里的灯光未灭；
（5）在午夜前受害者房里的灯光灭了。
试问：根据以上判断可推出谁是凶手？请写出推导过程。
试题解析：
答案：
设p表示“凶手是甲”，q表示“凶手是乙”，r表示“谋杀发生在午夜前”，s表示“乙的供词正确”，t表示“在午夜前受害者房里的灯光灭了”。
（1）p∨q。（2）p→﹁r。（3）s→r。（4）﹁s→﹁t，即t→s。（5）t。
首先，由（5）（4）（3）可得，s→r，t→s，t├s∧r；
其次，由（2）p→﹁r，可知r→﹁p；
最后，p∨q，﹁p├q。
所以，乙是凶手。
解析：书面解析，稍后推出
考点：演绎推理（二）：基于命题的推理,假言推理