已知他们中只有一人说了真话。问：谁是小偷？

?

AI推理逻辑

Step 1：形式化四人的供词

我们先把他们的供词转成逻辑命题：

人物

供词内容

逻辑表达（T = 真话，F = 假话）

张三

“不是我”

?S(张三)

李四

“是张三”

S(张三)

王二

“不是我”

?S(王二)

麻子

“是李四”

S(李四)

其中 S(X) 表示“X是小偷”，?S(X) 表示“X不是小偷”。

?

Step 2：枚举可能的说真话的人

我们知道 只有一人说了真话，我们就枚举这四人谁说真话，其他三人说假话。

对每种情况，我们验证是否自洽。

?

Case 1：张三说真话

? 张三：不是我 → 真话 → 张三不是小偷 ?

? 李四：是张三 → 假话 → 张三不是 ?

? 王二：不是我 → 假话 → 王二是小偷

? 麻子：李四是 → 假话 → 李四不是 ?

只有王二是小偷，其余都不是，且只有张三说了真话

符合所有条件

?

Case 2：李四说真话