历史

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

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

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

范例

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

郭静：“张韶涵钓到了两条鱼。”

张韶涵：“范玮琪不是钓到两条鱼。”

范玮琪：“郭静不是钓到一条鱼。”

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

逻辑矩阵益智游戏

逻辑益智游戏的矩阵，其中有的资讯是Simon15岁，Jane不喜欢绿色

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

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

相关条目

实体益智游戏（英语：Mechanical puzzle）

娱乐数学

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。