邏輯遊戲,由劉易斯·卡羅爾——《愛麗絲夢遊仙境》的作者——在 1887 年描述(卡羅爾 1972),內容包括討論諸如“一些新鮮的蛋糕是甜的”等命題的含義,並且是對 邏輯 概念的啟發性介紹。
這個遊戲發生在一個被分成四個象限的世界中。在西北象限,蛋糕是新鮮且甜的;在東北象限,蛋糕是新鮮但不甜的;在西南象限,蛋糕是不新鮮但甜的;在東南象限,蛋糕是不新鮮且不甜的。這個遊戲使用四個紅色硬幣和五個灰色硬幣進行。紅色硬幣用於指示某個扇區中存在一些(一個或多個)蛋糕,而灰色硬幣指示該扇區是空的。
西北扇區中的紅色硬幣代表命題“一些新鮮的蛋糕是甜的”。透過使用更多的硬幣,可以表示更復雜的命題。例如,西北扇區中的一個紅色硬幣與東北扇區中的一個紅色硬幣一起,代表雙重命題“一些新鮮的蛋糕是甜的,一些不甜”。
蛋糕的世界然後被分為可食用和不可食用的蛋糕兩個子類,從而可以表示更復雜的命題。也可以表示 三段論,其中使用兩個命題(前提)來推導第三個命題(結論)。
在卡羅爾書的後半部分,介紹了一個 8 單元格圖(一個扁平化的 立方體),用於一次涉及三個命題的問題。