逻辑推理(二)

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

甲：我认为赵不是凶犯。

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

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

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

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

解：

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

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

所以李是凶犯。