逻辑游戏，由刘易斯·卡罗尔——《爱丽丝梦游仙境》的作者——在 1887 年描述（卡罗尔 1972），内容包括讨论诸如“一些新鲜的蛋糕是甜的”等命题的含义，并且是对 逻辑 概念的启发性介绍。
这个游戏发生在一个被分成四个象限的世界中。在西北象限，蛋糕是新鲜且甜的；在东北象限，蛋糕是新鲜但不甜的；在西南象限，蛋糕是不新鲜但甜的；在东南象限，蛋糕是不新鲜且不甜的。这个游戏使用四个红色硬币和五个灰色硬币进行。红色硬币用于指示某个扇区中存在一些（一个或多个）蛋糕，而灰色硬币指示该扇区是空的。
西北扇区中的红色硬币代表命题“一些新鲜的蛋糕是甜的”。通过使用更多的硬币，可以表示更复杂的命题。例如，西北扇区中的一个红色硬币与东北扇区中的一个红色硬币一起，代表双重命题“一些新鲜的蛋糕是甜的，一些不甜”。
蛋糕的世界然后被分为可食用和不可食用的蛋糕两个子类，从而可以表示更复杂的命题。也可以表示 三段论，其中使用两个命题（前提）来推导第三个命题（结论）。
在卡罗尔书的后半部分，介绍了一个 8 单元格图（一个扁平化的 
立方体），用于一次涉及三个命题的问题。
