Un acertijo de lógica es un acertijo que se deriva del campo matemático de la deducción .
El rompecabezas de lógica fue elaborado por primera vez por Charles Lutwidge Dodgson , más conocido por su seudónimo Lewis Carroll, el autor de Las aventuras de Alicia en el país de las maravillas . En su libro El juego de lógica, presentó un juego para resolver problemas como confirmar la conclusión "Algunos galgos no son gordos" a partir de las afirmaciones "Ningún animal gordo corre bien" y "Algunos galgos corren bien". [1] Acertijos como este, en los que se nos da una lista de premisas y se nos pregunta qué se puede deducir de ellas, se conocen como silogismos . [ cita necesaria ] Dodgson continúa construyendo rompecabezas mucho más complejos que constan de hasta 8 premisas. [ cita necesaria ]
En la segunda mitad del siglo XX, el matemático Raymond M. Smullyan continuó y amplió la rama de los acertijos de lógica con libros como ¿ La dama o el tigre? , Burlarse de un ruiseñor y Alicia en Puzzle-Land . Popularizó los acertijos de " caballeros y bribones ", que involucran a caballeros, que siempre dicen la verdad, y bribones, que siempre mienten. [ cita necesaria ]
También hay acertijos de lógica que son de naturaleza completamente no verbal. Algunas formas populares incluyen el Sudoku , que implica utilizar la deducción para colocar correctamente los números en una cuadrícula; el nonograma , también llamado "Pintar por números", que consiste en utilizar la deducción para rellenar correctamente una cuadrícula con cuadrados en blanco y negro para producir una imagen; y laberintos lógicos , que implican el uso de la deducción para descubrir las reglas de un laberinto. [ cita necesaria ]
Otra forma de acertijo de lógica, popular entre los entusiastas de los acertijos y disponible en revistas dedicadas al tema, es un formato en el que se proporciona la configuración de un escenario, así como el objeto (por ejemplo, determinar quién llevó qué perro a un exposición canina y qué raza era cada perro), se dan ciertas pistas ("ni Misty ni Rex son el pastor alemán"), y luego el lector llena una matriz con las pistas e intenta deducir la solución. A menudo se les conoce como acertijos de "cuadrícula lógica". El conjunto de datos de un rompecabezas de cuadrícula lógica puede tener cualquier número de categorías, pero está limitado por el correspondiente aumento de complejidad, y la mayoría tiene solo dos, tres o incluso cuatro categorías.
Si bien está diseñado más como un rompecabezas basado en tablas que como una matriz, el ejemplo más famoso de un rompecabezas de cuadrícula lógica puede ser el llamado Zebra Puzzle , que plantea la pregunta ¿Quién fue el dueño de la cebra? .
En las revistas de acertijos lógicos son comunes los derivados del acertijo de cuadrícula lógica llamados "rompecabezas de tabla" que se deducen de la misma manera que los acertijos de cuadrícula, pero carecen de la cuadrícula porque una cuadrícula sería demasiado grande o porque se proporciona alguna otra ayuda visual. Por ejemplo, un mapa de una ciudad podría estar presente en lugar de una cuadrícula en un rompecabezas sobre la ubicación de diferentes tiendas.