Le menteur & le truthful : résoudre l'énigme
Définitions
Le menteur (liar) est une personne qui ne dit jamais la vérité : toutes ses affirmations sont fausses. Le truthful (véridique) est une personne qui ne ment jamais : toutes ses affirmations sont vraies.
Ces deux personnages sont souvent utilisés dans des énigmes logiques où l'on doit déterminer qui est qui à partir de leurs déclarations.
Règles de résolution
- Analyser les déclarations : Si un personnage dit "X", on doit déterminer si X est vrai ou faux.
- Hypothèse par élimination : Supposer qu'une personne est le truthful ou le menteur, puis vérifier la cohérence.
- Contradiction : Si une hypothèse mène à une contradiction (ex : une même affirmation est à la fois vraie et fausse), elle est fausse.
Exemple classique
Vous rencontrez deux portes : l'une mène à la liberté, l'autre à la mort. Deux gardiens sont présents : l'un ment toujours, l'autre dit toujours la vérité. Vous ne savez pas qui est qui. Vous pouvez poser une seule question à l'un des deux pour choisir la bonne porte. Quelle question poser ?
Solution : Demandez à l'un des gardiens : « Si je demandais à l'autre gardien quelle porte mène à la liberté, que répondrait-il ? »
- Si vous parlez au truthful, il vous répétera le mensonge du menteur.
- Si vous parlez au menteur, il mentira sur la réponse du truthful. Dans les deux cas, désignez l'autre porte que celle indiquée.
Pièges à éviter
- Confondre les rôles : Ne pas supposer automatiquement qu'une personne est le truthful ou le menteur sans preuve.
- Questions circulaires : Éviter les questions qui ne donnent pas d'information utile (ex : « Es-tu le truthful ? »).
- Hypothèses non vérifiées : Toujours tester la cohérence des affirmations.
Applications
Ces énigmes développent la pensée critique, la logique déductive et la résolution de problèmes. Elles sont utilisées en philosophie, en mathématiques et même en informatique (algorithmes de décision).
« La logique est l'hygiène du mathématicien, mais pas son inspiration. » — André Weil