Un problema breve de lógica no pregunta qué opción parece más probable. Pide encontrar la única que no contradice ninguna pista. La diferencia importa: una respuesta puede encajar con tres frases y quedar invalidada por una cuarta que parecía secundaria.
Resolver de forma ordenada consiste en transformar el lenguaje en restricciones pequeñas. Cuando cada frase elimina una relación concreta, el problema deja de ser una historia confusa y se convierte en un conjunto manejable de posibilidades.
Traduce cada pista sin añadir supuestos
Separa lo que la frase afirma de lo que solo sugiere. Si Ana llegó antes que Luis, no sabemos que llegara inmediatamente antes ni que fuera la primera. Escribir una conclusión más fuerte que la pista crea contradicciones que el enunciado nunca planteó.
Las palabras negativas merecen atención especial. «Mar no eligió azul» elimina una pareja; «quien eligió azul no fue Mar» expresa lo mismo; «Mar eligió antes que la persona de azul» incorpora además una relación de orden. Conviene conservar esas diferencias.
- Identifica personas, objetos y posiciones.
- Marca negaciones de forma explícita.
- No conviertas «antes» en «justo antes».
Empieza por las restricciones más fuertes
Una pista que fija una posición o descarta varias combinaciones reduce más el tablero que una relación amplia. Úsala primero y propaga su efecto: si un elemento ya ocupa una posición, ningún otro puede ocuparla y ese elemento tampoco puede aparecer en otra.
Después busca frases que compartan alguno de esos elementos. Dos pistas débiles pueden formar una deducción fuerte cuando se cruzan. El avance suele aparecer en esas conexiones, no al releer muchas veces una frase aislada.
Usa hipótesis que puedan fallar
Si quedan dos candidatos, supone temporalmente que el primero es correcto y sigue sus consecuencias. Una contradicción clara demuestra que debe descartarse. La prueba es útil porque tiene una condición de salida: sabes exactamente qué resultado invalidaría la hipótesis.
No borres conclusiones anteriores para salvar una opción favorita. Si una hipótesis obliga a ignorar una pista, la hipótesis falla. Volver al último punto seguro evita reconstruir todo el problema desde cero.
Comprueba la unicidad de la respuesta
Al encontrar una combinación válida, pregunta si otra también podría cumplir las pistas. Si dos opciones sobreviven, falta aplicar una condición o el problema está incompleto. En Logic, la edición diaria se valida para que exista una sola respuesta.
La revisión final debe recorrer todas las frases, no solo el camino que condujo al resultado. Esta pasada detecta interpretaciones apresuradas y convierte una solución plausible en una solución demostrada.