法律逻辑推理问题

已知：1、甲和乙是杀人犯，则丙无罪；

2、丙有罪，且丁的证词正确的；

3、如果丁的证词正确，那么乙就是杀人犯。

1）、由2可推知4丙有罪（联言推理的分解式）；（5）丁的证词正确（联言推理的分解式）；

2）、由（3）和（5）可推知（6）乙就是杀人犯（充分条件假言三段论推理肯定前件式）；

3）、由（1）和（4）可推知：并非甲和乙是杀人犯（充分条件假言三段论推理否定后件式），这个负判断的等值判断是：（7）或者甲不是杀人犯，或者乙不是杀人犯。

4）、由（7）和（6）可推知（8）甲不是杀人犯（选言推理的否定肯定式）；

5）、由（6）和（8）可知乙就是杀人犯，甲不是杀人犯。