Inicio > Acertijos > El acertijo lógico más difícil del mundo

El acertijo lógico más difícil del mundo

Este acertijo de probabilidad y razonamiento lógico, conocido como El acertijo lógico más difícil del mundo, combina intuición y método en una proporción muy difícil de equilibrar. A primera vista parece directo, pero suele exigir más estructura de la que parece para no perderse por el camino.

Por eso se usa tanto para entrenar razonamiento formal en el archivo de acertijos. Tómate unos minutos y prueba primero una solución propia.

Tres dioses, A, B y C, son llamados Verdad, Falsedad y Aleatorio, en algún orden.

  • Verdad siempre responde con la verdad.
  • Falsedad siempre responde con una mentira.
  • Aleatorio responde al azar.

Entienden tu idioma, pero responden usando las palabras “da” y “ja”, y no sabes cuál significa “sí” y cuál significa “no”.

Puedes hacer exactamente tres preguntas, cada una dirigida a un solo dios y con respuesta sí/no.

¿Cómo identificas con certeza cuál es cuál?

Pistas

Mostrar pistas
  1. Antes de etiquetar a los tres, necesitas asegurarte un interlocutor que no sea Aleatorio.
  2. Las preguntas del tipo “si te preguntara...” neutralizan a la vez la mentira y el significado desconocido de ja/da.
  3. La primera pregunta no busca un nombre final, sino aislar a un dios fiable para las dos siguientes.

Solución

Mostrar solución completa

Respuesta: se puede identificar a los tres dioses en exactamente tres preguntas.

Usaremos siempre una misma forma de pregunta. Para cualquier proposición $P$, preguntaremos:

“Si te preguntara si $P$, y me respondieras ‘da’, ¿me estarías diciendo la verdad?”

Llamemos a esta forma $M(P)$.

La ventaja de $M(P)$ es que, cuando se dirige a un dios que no es Aleatorio, su respuesta no depende de saber si “da” significa sí o no. Solo depende de dos cosas: si el dios es Verdad o Falsedad, y si $P$ es verdadera o falsa.

La tabla es esta:

Dios preguntado $P$ verdadera $P$ falsa
Verdad da ja
Falsedad ja da

Esta tabla será la herramienta principal.

Ahora colocamos a los dioses en círculo:

$$A\to B\to C\to A.$$

Para cada dios $X$, llamaremos “siguiente” al dios que va después de él en ese círculo y “anterior” al que va antes.

Definimos la proposición:

$$P_X:\ \text{“el siguiente de }X\text{ es Verdad o el anterior de }X\text{ es Falsedad”}.$$

La palabra importante es “o”. No es un “si y solo si”.

Primera pregunta

Pregunta a A:

“Si te preguntara si $P_A$, y me respondieras ‘da’, ¿me estarías diciendo la verdad?”

Ahora actúa según la respuesta:

  • si A responde ja, la segunda pregunta será para B;
  • si A responde da, la segunda pregunta será para C.

Segunda pregunta

Haz al dios elegido la misma clase de pregunta, pero aplicada a él:

  • si preguntas a B, preguntas por $P_B$;
  • si preguntas a C, preguntas por $P_C$.

Con las dos respuestas se localiza al dios Aleatorio así:

Respuesta de A Segunda pregunta a Segunda respuesta Aleatorio
ja B da C
ja B ja A
da C da A
da C ja B

La proposición está diseñada para que, entre los dos dioses no aleatorios, las respuestas formen un patrón ordenado: uno responde ja y el otro responde da. El dios Aleatorio, en cambio, puede coincidir con ese patrón o romperlo.

Por eso, al elegir la segunda pregunta según la primera respuesta, las dos respuestas bastan para ubicarlo.

Tras estas dos preguntas, Aleatorio ya está identificado.

Tercera pregunta

Ahora quedan dos dioses no aleatorios: uno es Verdad y el otro Falsedad. Elige uno de ellos, llámalo $X$, y pregunta:

“Si te preguntara si no eres Aleatorio, y me respondieras ‘da’, ¿me estarías diciendo la verdad?”

Como ya sabemos que $X$ no es Aleatorio, la proposición “no eres Aleatorio” es verdadera.

Según la tabla inicial:

  • si responde da, $X$ es Verdad;
  • si responde ja, $X$ es Falsedad.

El otro dios no aleatorio queda identificado por descarte.

Así, con las dos primeras preguntas se localiza a Aleatorio, y con la tercera se distingue entre Verdad y Falsedad.

Acertijos relacionados

Sigue entrenando

Si te gustó este reto, prueba más acertijos de lógica pura, explora esta temática, revisa el archivo completo o mira la guía para resolver acertijos.

← Anterior: El tercer sabio ciego · Siguiente: Los sombreros de Ebert →