」和「胖的动物都跑不快」等叙述，推论出「有些灰狗不胖」的结论。这类的益智游戏，列出许多前提，要从其中推得结论，现在称为直言三段论。不过道奇森的问题更加复杂，最多可以到八个前提。在二十世纪后半，数学家雷蒙·史慕扬在其书中提出了许多逻辑益智游戏，像史上最难逻辑谜题、及爱丽丝的谜题（Alice in Puzzle-Land），他也提出着名的益智问题，其中的骑士只说实话，无赖只说谎话，但不知道谁是骑士，谁是无赖，需根据其问问题的回应推论相关资讯。也有不是文字性的逻辑益智游戏，最着名的是数独，需根据推理决定格