逻辑推理(一)
某仓库被窃。经过侦破，查明作某的人部是甲、乙、丙、丁四个人中的一个人。审讯中，四个人的口供如下：
甲：“仓库被窃的那一天，我在别的城市，因此我是不可能作案的。
乙：“丁就是罪犯。”
丙：“乙是盗窃仓库的罪犯，因为我亲眼看见他那一天进过仓库。”
丁：“乙是有意陷害我。”
现假定这四个人的口供中，只有一个人讲的是真话。那么
解：
简单命题用符号表示如下：
A：甲说真话
B：乙说真话
C：丙说真话
D：丁说真话
(1)(D→﹁B)Ⅴ（B→﹁D）
(2)BⅤD
(3)﹁C∧﹁A
(4)（BⅤD）∧﹁C→﹁A
所以甲是罪犯。
