Zagadki logiczne są zagadakami 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 zadania , które były podobne do czegoś takiego jak :
* niektóre gry są zabawne
* wszystkie puzzle są grami
Pyt: Czy wszystkie puzle są zabawne ?
Odp: Nie koniecznie
Takie puzzle, w których dostajemu listę sentencji i potem jesteśmu pytani o to co możemy na podstawie ich odgadnąć nazywamy sylogizmami. Oczywiście ten przykład jest trywialny. Dogson poszedł dalej z tymi zagadakami i tworzył zadania składające sie z 8 zdań.
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ę opeierają na prawidłowym stawianiu numerów w planszy, nonogramy, 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ć popularne.