Rompecabezas lógico

El primer rompecabezas lógico fue creado por Charles Lutwidge Dodgson, conocido por su doble literario, Lewis Carroll: el autor de Alicia en el país de las maravillas. En su libro El juego de la lógica y otros escritos introdujo un juego para resolver problemas, como extraer la conclusión «Algunos galgos no están gordos» de las premisas «Ninguna criatura que esté gorda corre rápido» y «Algunos galgos corren rápido». Rompecabezas como este, donde se da una lista de premisas y se pregunta qué se puede deducir de ellas, son conocidos como silogismos. Dogson creó rompecabezas más complejos con hasta ocho premisas. En la segunda mitad del siglo XX, el matemático Raymond Smullyan continuó y expandió la rama de los rompecabezas lógicos con libros como ¿La Dama o el Tigre?, Alicia en el país de las adivinanzas y To Mock a Mockingbird. Smullyan popularizó los puzles de caballeros y truhanes, en los que hay caballeros que siempre dicen la verdad y truhanes que siempre mienten. También hay rompecabezas lógicos que son no verbales en la naturaleza. Algunos populares son el sudoku, en el que hay que usar la deducción para colocar números en celdas correctamente; el nonograma, que consiste en colorear las celdas correctas de una cuadrícula (también llamado «pintar por números»); y laberintos lógicos, que requiere usar deducción para encontrar las reglas especiales de un laberinto concreto.