某地发生了一起凶杀案。侦察结果表明，此案是两人所为。后拘捕A、B、C、D、E五个嫌疑人，并了解如下情况： (1)A、D二人中至少有一个是凶手。 (2)如果D是凶手，E也一定是凶手。 (3)B只有跟C在一起，才参与作案。 (4)如果B不是凶手，那么A也不是凶手。 后又查明C无作案时间。问凶手是谁请写出推导过程。

【参考答案】

正确答案：将已知前提符号化为 (1)A∨D (2)D→E (3)C←B
(6)
[(3)(5)充分条......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)