Verdades y mentiras con lógica
Los problemas de verdades y mentiras te presentan afirmaciones de varias personas donde cada una es veraz o mentirosa, sin punto medio. Tu misión es descubrir quién es quién usando solo lógica, sin adivinar.
Un veraz siempre dice la verdad, por lo que si dice p entonces p es verdadero. Un mentiroso siempre miente, por lo que si dice p entonces p es falso. Estas son las dos reglas de oro que sostienen todo el tema.
El método que siempre funciona es el de suposición en tres pasos: supón que alguien es veraz, sigue las consecuencias hasta encontrar o no una contradicción, y si choca, concluye que es mentiroso. Al final siempre debes verificar que la otra opción encaje sin choques.
El error más común está en las palabras trampa como todos, ninguno o solo uno. Negarlas exige usar al menos uno, no el extremo opuesto. Dominar esto te permite resolver desde el caso simple de Ana y Beto hasta acertijos con varios personajes.