Rompecabezas de lógica
Un acertijo lógico es un acertijo derivado del campo matemático de la deducción.
Historia
El acertijo lógico fue producido 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 la lógica introdujo un juego para resolver problemas como confirmar la conclusión "Algunos galgos no están gordos" de las afirmaciones "Ninguna criatura gorda corre bien" y "Algunos galgos corren bien". Acertijos como este, donde se nos da una lista de premisas y se nos pregunta qué se puede deducir de ellas, se conocen como silogismos. Dodgson continúa construyendo rompecabezas mucho más complejos que constan de hasta 8 premisas.
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?, Para burlarse de un ruiseñor y Alicia en el País de los Rompecabezas. Popularizó los "caballeros y escuderos" acertijos, que involucran caballeros, que siempre dicen la verdad, y escuderos, que siempre mienten.
También hay acertijos lógicos que son completamente no verbales por naturaleza. Algunas formas populares incluyen 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 laberintos lógicos, que implican el uso de la deducción para descubrir las reglas de un laberinto.
Acertijos de rejilla lógica
Otra forma de acertijo lógico, popular entre los entusiastas de los acertijos y disponible en revistas dedicadas al tema, es un formato en el que se da la configuración de un escenario, así como el objeto (por ejemplo, determinar quién trajo qué perro a una exposición canina y de 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 "cuadrícula lógica" rompecabezas El ejemplo más famoso puede ser el llamado Zebra Puzzle, que plantea la pregunta ¿Quién era el dueño de la cebra?. El conjunto de datos de un acertijo 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.
Comunes en las revistas de acertijos lógicos son los derivados del acertijo de cuadrícula llamado "rompecabezas de mesa" que se deducen de la misma manera que los acertijos de cuadrícula, pero carecen de la cuadrícula porque la 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.