Zagadki logiczne są zagadkami opartymi o matematyczną dedukcję. Ta gałąź została wyprodukowana przez  Charlesa Lutwidga Dodgsona znanego lepiej jako Lewis Carroll, człowieka, który napisał książkę o “Alicji w krainie czarów”. W jego książce “Gra logiki” przedstawiły do rozwiązania logiczne problemy , które były podobne do czegoś takiego jak :

* niektóre gry są zabawne
* wszystkie puzzle są grami

Pyt: Czy wszystkie puzzle są zabawne ?
Odp: Nie koniecznie
Takie puzzle, w których dostajemy listę zdań i potem jesteśmy pytani o to co możemy na podstawie ich wywnioskować nazywamy sylogizmami. Oczywiście ten przykład jest prosty. Dogson poszedł dalej z tymi puzzlami i tworzył zadania składające sie z 8 sentencji.

W drugiej połowie 20 wieku. matematyk Raymond M. Smullyan kontynuował i rozszerzył gałąź gier logicznych w ksiązce “The Lady or the Tiger?, To Mock a Mockingbird and Alice in Puzzle-Land”. Spopularyzował puzzle “rycerze i kniazie”, gdzie zadawało się pytania rycerzom, którzy zawsze mówili prawdę i kniaziom, którzy zawsze kłamali.
Jest wiele gier logicznych które są całkowiecie nie werbalne w naturze. Niektóre popularne formy, takie jak Sudoku czy Unisol, które dedukcję opierają na prawidłowym stawianiu numerów w planszy, monogramy, zwane także “Malowaniem numerów”.

W świecie komputerów gry logiczne doczekały się także wielu wersji. Najpopulrniejsze to m.in. Sudoku, czy też World of Goo. Szczególnie ta ostatnia wywyłała spore zamieszanie na rynku, pokazując, że gry, w kórych trzeba się posłużyć szarmi komórkami mogą też być chętnie kupowane.