法律逻辑推理问题

2.c有罪，D的证言正确；

3.如果丁的证词是正确的，那么乙就是凶手。

1)，从2可以推断出4 C有罪(联合推理的分解)；(5)丁的证言是正确的(分解联合推理)；

2)、从(3)和(5)可以推断(6) B是凶手(充分条件假设三段论推理肯定了前因)；

3)、从(1)和(4)可以推断A和B都不是杀人犯(充分条件假设三段论推理否定了后者)，这个否定判断的等价判断是:(7)要么A不是杀人犯，要么B不是杀人犯。

4)从(7)和(6)可以推断(8) A不是凶手(选择性推理的否定肯定形式)；

5)从(6)和(8)可以看出，B是杀人犯，A不是杀人犯。