仙境》的作者。查尔斯·路特维奇·道奇森在《逻辑游戏》（The Game of Logic）一书中提出了一种游戏，要由「有些灰狗跑的快」和「胖的动物都跑不快」等叙述，推论出「有些灰狗不胖」的结论。这类的益智游戏，列出许多前提，要从其中推得结论，现在称为直言三段论。不过道奇森的问题更加复杂，最多可以到八个前提。在二十世纪后半，数学家雷蒙·史慕扬在其书中提出了许多逻辑益智游戏，像史上最难逻辑谜题、及爱丽丝的谜题（Alice in Puzzle-Land），他也提出着名的益智问题，其中的骑士只说实话，无赖只说谎