逻辑推理(二)
某公安局的刑侦员甲、乙、丙、丁通过调查取证后，对某案的嫌疑人李、赵作如下断定：
甲：我认为赵不是凶犯。
乙：或者李是凶犯，或者赵是凶犯。
丙：如果李是凶犯，则赵不是凶犯。
丁：我看李和赵都是凶犯。
事后证明，四位刑侦员的判断只有一人是错的，问谁是凶犯？
解：
简单命题用符号表示如下：
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
所以李是凶犯。
