一道充满逻辑的推理数学题
问题描述：
一道充满逻辑的推理数学题
在一桩谋杀案中,有两个犯罪嫌疑人甲和乙,另有四个证人在接受询问.第一证人说:我只知道甲是无罪的.第二证人说:我只知道乙是无罪的.第三个证人说:前面两个人的证词中至少有一个是真的.第四个证人说:我可以肯定第三个人的证词是假的.通过调查研究,已证实第四个证人说了实话,那么凶手是谁?
答
甲乙都是凶手
第三个人的逆命题为：前面两个人的证词都是假的,则甲有罪,乙也有罪