逻辑推理(二)

某公安局的刑侦员甲、乙、丙、丁通过调查取证后，对某案的嫌疑人李、赵作如下断定：

   甲：我认为赵不是凶犯。

   乙：或者李是凶犯，或者赵是凶犯。

   丙：如果李是凶犯，则赵不是凶犯。

   丁：我看李和赵都是凶犯。

  事后证明，四位刑侦员的判断只有一人是错的，问谁是凶犯？

解：

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

A：甲是对的

B：已是对的

x丙是对的

y丁是对的

u:赵是凶犯

t:李是凶犯

(1)y

(2)y→（﹁A∧﹁x）

(3)﹁y

(4)A∧B∧x

(5)A

(6) ﹁u

(7) tⅤu

(8) t→﹁u

(9)﹁u→t

所以李是凶犯。