Un rompecabezas lógico es un rompecabezas que se deriva del campo matemático de la deducción .
El acertijo lógico fue creado por primera vez por Charles Lutwidge Dodgson , más conocido por su seudónimo Lewis Carroll, autor de Alicia en el país de las maravillas . En su libro El juego de la lógica, introdujo un juego para resolver problemas como confirmar la conclusión «Algunos galgos no son gordos» a partir de las afirmaciones «Ninguna criatura gorda 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 requerida ] Dodgson continúa construyendo acertijos mucho más complejos que constan de hasta 8 premisas. [ cita requerida ]
En la segunda mitad del siglo XX, el matemático Raymond M. Smullyan continuó y amplió la rama de los acertijos lógicos con libros como La dama o el tigre , Burlarse de un ruiseñor y Alicia en el país de los acertijos . Popularizó los acertijos de " caballeros y bribones ", que involucran a caballeros, que siempre dicen la verdad, y bribones, que siempre mienten. [ cita requerida ]
También hay juegos de lógica que son completamente no verbales por naturaleza. Algunas formas populares incluyen el sudoku , que implica el uso de la deducción para colocar correctamente los números en una cuadrícula; el nonograma , también llamado "Pintar por números", que implica el uso de la deducción para completar correctamente una cuadrícula con cuadrados en blanco y negro para producir una imagen; y los laberintos lógicos , que implican el uso de la deducción para averiguar las reglas de un laberinto. [ cita requerida ]
Otra forma de rompecabezas de lógica, popular entre los entusiastas de los rompecabezas y disponible en revistas dedicadas al tema, es un formato en el que se proporciona la configuración de un escenario, así como el objetivo (por ejemplo, determinar quién trajo qué perro a una 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 completa una matriz con las pistas e intenta deducir la solución. Estos a menudo se conocen como rompecabezas 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 aumento correspondiente en la complejidad, y la mayoría tiene solo dos, tres o incluso cuatro categorías.
Aunque está diseñado más como un rompecabezas basado en una tabla que como una matriz, el ejemplo más famoso de un rompecabezas de cuadrícula lógica puede ser el llamado Rompecabezas de Cebra , que plantea la pregunta ¿Quién era el dueño de la cebra ?.
En las revistas de acertijos de lógica son comunes los derivados del acertijo de cuadrícula lógica llamados "acertijos de mesa", que se deducen de la misma manera que los acertijos de cuadrícula, pero carecen de la cuadrícula, ya sea 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 acertijo sobre la ubicación de diferentes tiendas.