用逻辑学原理回答

题目

用逻辑学原理回答
两人合谋一起凶案,有五个嫌疑犯,情况如下
一,AD两人中至少有一人是凶手
二,如果D是凶手,E一定是凶手
三,B只有跟C在一起时,才参与作案
四,如果B不是凶手,那么A也不是凶手
五,C没有作案时间
问：谁是凶手,写出推导过程
要用命题推理啦,比如充分条件假言推理肯定前件式.都不对,作业也交了.谁先答选谁吧!

答案

根据五：C没有做案时间,首先C不是.
根据三：C不是,那B也不是.
根据四：B不是,那A也不是.
再根据一：A不是,那D一定是.
最后根据二,D是凶手,E也是凶手.
所以最后答案是D与E是凶手.