问答题 证明：三段论第一格"小前提必须是肯定判断"。

问答题 同时断定"我们车间所有的产品是合格品"与"我们车间有的产品不是合格品"两个判断为真或为假，是否违反普通逻辑基本规律？若违反，则违反什么规律？为什么？

问答题 已知：（1）如果甲和乙是杀人犯，则丙是无罪的；（2）丙有罪，且丁的证词正确；（3）如果丁的证词正确，那么，乙就是杀人犯。问：谁是杀人犯？并写出推导过程。