邏輯益智遊戲
歷史
邏輯益智遊戲最早是由查爾斯·路特維奇·道奇森製作，他的筆名是路易斯·卡羅，是《愛麗絲夢遊仙境》的作者。查爾斯·路特維奇·道奇森在《邏輯遊戲》（The Game of Logic）一書中提出了一種遊戲，要由「有些灰狗跑的快」和「胖的動物都跑不快」等敘述，推論出「有些灰狗不胖」的結論。這類的益智遊戲，列出許多前提，要從其中推得結論，現在稱為直言三段論。不過道奇森的問題更加複雜，最多可以到八個前提。
在二十世紀後半，數學家雷蒙·史慕揚在其書中提出了許多邏輯益智遊戲，像史上最難邏輯謎題、嘲笑知更鳥及爱丽丝的谜题（Alice in Puzzle-Land），他也提出著名的騎士與無賴益智問題，其中的騎士只說實話，無賴只說謊話，但不知道誰是騎士，誰是無賴，需根據其問問題的回應推論相關資訊。
也有不是文字性的邏輯益智遊戲，最著名的是數獨，需根據推理決定格子中所有的數字，像數織則是根據數字推理出對應格子是黑色還是白色，最後出現一個圖案，而邏輯迷宮是利用推理找出迷宮的規則。
範例
有3個人去釣魚，每個人都釣到了1隻以上，3隻以下的魚，若他們提到的人釣到的魚比自己多，則這句話就是假的，否則就是真的。
甲：「乙釣到了兩條魚。」
乙：「丙不是釣到兩條魚。」
丙：「甲不是釣到一條魚。」
則他們各分別釣到了幾條魚？
此題只有唯一解，甲釣到2條魚，乙釣到3條魚，丙釣到3條魚。
邏輯矩陣益智遊戲
另一種矩陣益智遊戲常在專門的益智遊戲雜誌上出現，會先列出一個情形，要推論的問題（例如在狗展中，誰帶了什麼狗，每一隻狗的品種）及線索（例如「米斯提和雷克斯都不是德國牧羊犬」），問題旁邊會有方格，讀者需根據上述條件，在方格上標示可能及不可能的線索，再依照資訊推論出正確答案，其中最著名的是「誰養班馬？」。
益智遊戲雜誌也有一種類似矩陣益智遊戲的是表格益智遊戲，利用類似的方式推論，但沒有矩陣，可能是矩陣太大了，或是利用其他的工具來幫忙推論，例如有關店舖的問題，可能會有地圖，說明不同店舖的位置。
範例
這裡有6位少女，每個人的年齡（從20歲到25歲）、星座、職業都不一樣。
已知：
1. 巨蟹座的筱晴，年齡不是22歲。
2. 筱婷是20歲，金牛座的少女則是21歲。
3. 24歲的筱媗，和水瓶座的電腦工程師約好下一次去看電影。
4. 筱涵是當今知名的歌手，但是她並非天秤座。
5. 22歲的少女是護士，而25歲的少女則是教師。
6. 筱雯的職業是秘書，筱是牡羊座，而游泳教練則是雙魚座。
則每個少女的年齡、星座、職業分別是？
在這個例子中，可以畫一個4行6列的表格，其中第一行為少女的名字，第二行為年齡，第三行為星座，第四行為職業，然後再進行填入的動作，例如第一個條件，將「筱晴」填在第一列第一行，「巨蟹座」填在第一列第二行，而「22歲」就不能出現在第一列，因此可以假定其在第二列，然後根據第二個條件，20歲的筱婷不可能出現在第一列或第二列，金牛座21歲的少女亦是如此，從而假定20歲的筱婷出現在第三列，金牛座21歲的少女則是在第四列，依此類推，直到完成最後的答案為止。
此題的解答為：
筱晴25歲，巨蟹座，職業是教師。
筱婷20歲，水瓶座，職業是電腦工程師。
筱媗24歲，雙魚座，職業是游泳教練。
筱涵21歲，金牛座，職業是歌手。
筱雯23歲，天秤座，職業是秘書。
筱22歲，牡羊座，職業是護士。
相關條目
- 實體益智遊戲
- 娛樂數學