逻辑益智游戏

逻辑益智游戏（logic puzzle）是利用演绎推理进行的智力游戏，给予一些条件，配合演绎推理找到答案。

历史

逻辑益智游戏最早是由查尔斯·路特维奇·道奇森制作，他的笔名是路易斯·卡罗，是《爱丽丝梦游仙境》的作者。查尔斯·路特维奇·道奇森在《逻辑游戏》（The Game of Logic）一书中提出了一种游戏，要由“有些灰狗跑的快”和“胖的动物都跑不快”等叙述，推论出“有些灰狗不胖”的结论。^[1]

在二十世纪后半，数学家雷蒙·史慕扬在其书中提出了许多逻辑益智游戏，像史上最难逻辑谜题、嘲笑知更鸟（英语：To Mock a Mockingbird）及爱丽丝的谜题（Alice in Puzzle-Land），他也提出著名的骑士与无赖（英语：knights and knaves）益智问题，其中的骑士只说实话，无赖只说谎话，但不知道谁是骑士，谁是无赖，需根据其问问题的回应推论相关资讯。^[2]

也有些逻辑益智游戏不是用文字来表达的，其中著名的有数独，在格子上有一些数字，需根据规则推理出所有的数字，数织（nonogram）是利用格子边缘数字提供资讯，绘画黑白位图。

Logic grid益智游戏

logic puzzle grid，其中已填入的资讯是Simon 15岁，Jane不喜欢绿色

Logic grid puzzles也是逻辑益智游戏的一种，有些刊登此类益智游戏的杂志，题目中会列出情境，要知道的问题（例如谁带哪一只狗参加狗展，以及每一只狗的品种），一些线索（例如“Misty及Rex都不是德国牧羊犬”，以及标识这些线索的格子。读者可填写问题线索的矩阵，设法推理此问题。此一游戏常称为是“logic grid”益智游戏。此一游戏的资料组数可多可少，但组数越多其难度就越高，可能有二组、三组、四组等。

table puzzles是衍生自Logic grid益智游戏的问题，但加以简化，没有标示线索的格子，没有格子的原因往往是格子太大太复杂，或是已有其他辅助的工具。像斑马问题（英语：Zebra Puzzle）就属于table puzzles，要知道的问题是“谁养斑马？”

相关条目

• 机械智力玩具
• 逻辑编程
• 娱乐数学

参考文献

1. Carroll 1886，第53 #24页. sfn模板错误: 无指向目标: CITEREFCarroll1886 (帮助)
2. Lives: Raymond M. Smullyan *59. Princeton Alumni Weekly. 2018-01-26 [2022-05-10]. （原始内容存档于2021-06-19） （英语）.

外部链接

• 开放目录项目中的“Puzzles”