第840章 跟AI玩个游戏（第3页）
题目回顾
警察抓了四个嫌疑犯：张三、李四、王二、麻子，他们的供词如下：
?
张三：不是我偷的。
?
李四：是张三偷的。
?
王二：不是我。
?
麻子：是李四偷的。
已知他们中只有一人说了真话。问：谁是小偷？
?
ai推理逻辑
step
1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（t
=
真话，f
=
假话）
张三
“不是我”
?s（张三）
李四
“是张三”
s（张三）
王二
“不是我”
?s（王二）
麻子
“是李四”
s（李四）
其中
s（x）
表示“x是小偷”，?s（x）
表示“x不是小偷”。
?
