求逻辑学专家!一、某地发生命案,经分析,凶手是两人合谋.有初步确定A,B,C,D,E五人嫌疑犯,并了解到如下情况：1.A.D二人中至少有一人是凶手.2.如果D是凶手,E一定是凶手.3.B只有跟C在一起时,才

Question

求逻辑学专家!
一、 某地发生命案,经分析,凶手是两人合谋.有初步确定A,B,C,D,E五人嫌疑犯,并了解到如下情况：
1.A.D二人中至少有一人是凶手.
2.如果D是凶手,E一定是凶手.
3.B只有跟C在一起时,才参与作案.
4.如果B不是凶手,那么A也不可能是凶手.
5.C没有作案时间.
问：究竟谁是凶手?写出推导过程.
要求用假言推理完成.

Answer 1

凶手是D和E,C没有作案时间所以C不是凶手,根据2推出B不是凶手,根据4推出A不是凶手,根据1推出D是凶手,根据2推出E是凶手.