翟晓鹰提示您:看后求收藏(春雷小说clqcjtz.com),接着再看更方便。
警察抓了四个嫌疑犯:张三、李四、王二、麻子,他们的供词如下:
张三:不是我偷的。
李四:是张三偷的。
王二:不是我。
麻子:是李四偷的。
已知他们中只有一人说了真话。问:谁是小偷?
ai推理逻辑
step
1:形式化四人的供词
我们先把他们的供词转成逻辑命题:
翟晓鹰提示您:看后求收藏(春雷小说clqcjtz.com),接着再看更方便。
警察抓了四个嫌疑犯:张三、李四、王二、麻子,他们的供词如下:
张三:不是我偷的。
李四:是张三偷的。
王二:不是我。
麻子:是李四偷的。
已知他们中只有一人说了真话。问:谁是小偷?
ai推理逻辑
step
1:形式化四人的供词
我们先把他们的供词转成逻辑命题: