逻辑益智游戏

逻辑益智游戏（logic puzzle）是利用演绎推理进行的智力游戏，给予一些条件，配合演绎推理找到答案，像数独和谁养班马？（英语：Zebra Puzzle）都属于逻辑益智游戏。

历史

逻辑益智游戏最早是由查尔斯·路特维奇·道奇森制作，他的笔名是路易斯·卡罗，是《爱丽丝梦游仙境》的作者。查尔斯·路特维奇·道奇森在《逻辑游戏》（The Game of Logic）一书中提出了一种游戏，要由“有些灰狗跑的快”和“胖的动物都跑不快”等叙述，推论出“有些灰狗不胖”的结论。这类的益智游戏，列出许多前提，要从其中推得结论，现在称为直言三段论。不过道奇森的问题更加复杂，最多可以到八个前提。

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

也有不是文字性的逻辑益智游戏，最著名的是数独，需根据推理决定格子中所有的数字，像Nonogram则是根据数字推理出对应格子是黑色还是白色，最后出现一个图案，而逻辑迷宫（英语：logic maze）是利用推理找出迷宫的规则。

范例

有3个人去钓鱼，每个人都钓到了1只以上，3只以下的鱼，若他们提到的人钓到的鱼比自己多，则这句话就是假的，否则就是真的。

甲：“乙钓到了两条鱼。”

乙：“丙不是钓到两条鱼。”

丙：“甲不是钓到一条鱼。”

则他们各分别钓到了几条鱼？

逻辑矩阵益智游戏

逻辑益智游戏的矩阵，其中有的资讯是赛门15岁，珍不喜欢绿色

另一种矩阵益智游戏常在专门的益智游戏杂志上出现，会先列出一个情形，要推论的问题（例如在狗展中，谁带了什么狗，每一只狗的品种）及线索（例如“米斯提和雷克斯都不是德国牧羊犬”），问题旁边会有一个矩阵，读者需根据上述条件利用矩阵推论出正确答案，其中最著名的是“谁养班马？（英语：Zebra Puzzle）”。

益智游戏杂志也有一种类似矩阵益智游戏的是表格益智游戏，利用类似的方式推论，但没有矩阵，可能是矩阵太大了，或是利用其他的工具来帮忙推论，例如有关店铺的问题，可能会有地图，说明不同店铺的位置。

相关条目

• 实体益智游戏（英语：Mechanical puzzle）
• 娱乐数学

• 开放式目录计划中和Puzzles相关的内容
• Logic problems for students in grades one through twelve