逻辑推理(一)

某仓库被窃。经过侦破，查明作某的人部是甲、乙、丙、丁四个人中的一个人。审讯中，四个人的口供如下：
甲：“仓库被窃的那一天，我在别的城市，因此我是不可能作案的。
乙：“丁就是罪犯。”
丙：“乙是盗窃仓库的罪犯，因为我亲眼看见他那一天进过仓库。”
丁：“乙是有意陷害我。”
现假定这四个人的口供中，只有一个人讲的是真话。那么
解：

简单命题用符号表示如下：

A：甲说真话

B：乙说真话

C：丙说真话

D：丁说真话

(1)(D→﹁B)Ⅴ（B→﹁D）

(2)BⅤD     

(3)﹁C∧﹁A

(4)（BⅤD）∧﹁C→﹁A

所以甲是罪犯。