逻辑益智游戏
逻辑益智游戏（logic puzzle）是利用演绎推理进行的智力游戏，给予一些条件，配合演绎推理找到答案。
历史
逻辑益智游戏最早是由查尔斯·路特维奇·道奇森制作，他的笔名是路易斯·卡罗，是《爱丽丝梦游仙境》的作者。查尔斯·路特维奇·道奇森在《逻辑游戏》（The Game of Logic）一书中提出了一种游戏，要由“有些灰狗跑的快”和“胖的动物都跑不快”等叙述，推论出“有些灰狗不胖”的结论。[1]
在二十世纪后半，数学家雷蒙·史慕扬在其书中提出了许多逻辑益智游戏，像史上最难逻辑谜题、嘲笑知更鸟及爱丽丝的谜题（Alice in Puzzle-Land），他也提出著名的骑士与无赖益智问题，其中的骑士只说实话，无赖只说谎话，但不知道谁是骑士，谁是无赖，需根据其问问题的回应推论相关资讯。[2]
也有些逻辑益智游戏不是用文字来表达的，其中著名的有数独，在格子上有一些数字，需根据规则推理出所有的数字，数织（nonogram）是利用格子边缘数字提供资讯，绘画黑白位图。
Logic grid益智游戏
 | 此条目需要补充更多来源。 (2024年3月) |
Logic grid puzzles也是逻辑益智游戏的一种，有些刊登此类益智游戏的杂志，题目中会列出情境，要知道的问题（例如谁带哪一只狗参加狗展，以及每一只狗的品种），一些线索（例如“Misty及Rex都不是德国牧羊犬”，以及标识这些线索的格子。读者可填写问题线索的矩阵，设法推理此问题。此一游戏常称为是“logic grid”益智游戏。此一游戏的资料组数可多可少，但组数越多其难度就越高，可能有二组、三组、四组等。
table puzzles是衍生自Logic grid益智游戏的问题，但加以简化，没有标示线索的格子，没有格子的原因往往是格子太大太复杂，或是已有其他辅助的工具。像斑马问题就属于table puzzles，要知道的问题是“谁养斑马？”
相关条目
参考文献
- ^ Carroll 1886，第53 #24页.
- ^ Lives: Raymond M. Smullyan *59. Princeton Alumni Weekly. 2018-01-26 [2022-05-10]. （原始内容存档于2021-06-19） （英语）.
