Véritables et menteurs : déclarations cohérentes

Ce que vous résoudrez

Ces énigmes se concentrent sur la cohérence : décider si un ensemble de déclarations peut toutes tenir ensemble étant donné des véritables (toujours vrais) et des menteurs (toujours faux). Vous pratiquerez la traduction du langage en logique et vérifierez si les hypothèses mènent à des contradictions.

Chaque question utilise 4 options et il n'y a pas de minuteur, donc vous pouvez ralentir et vérifier chaque implication. Avant de commencer, choisissez votre nombre de questions préféré et la difficulté pour correspondre à un échauffement rapide ou à un défi mixte plus long.

Compétences que vous pratiquerez

• Identifier les contradictions et les ensembles de déclarations "impossibles"
• Suivre qui doit être un véritable ou un menteur à partir d'indices minimaux
• Gérer des déclarations imbriquées comme "A dit que B ment"
• Tester des cas systématiquement sans perdre de vue les hypothèses
• Repérer des quantificateurs cachés (toujours/jamais/au moins un/exactement un)

Pièges courants (et comment les éviter)

De nombreuses réponses incorrectes proviennent du fait de ne retourner qu'une partie de la déclaration d'un menteur au lieu de nier l'ensemble de l'affirmation. Un autre piège fréquent est d'assumer les rôles trop tôt : essayez une division de cas, poussez-la jusqu'à ce qu'elle contredise, puis changez.

Équilibre de difficulté

Une difficulté mixte signifie que vous verrez des vérifications de cohérence simples en une étape aux côtés de scénarios plus denses impliquant plusieurs personnes. La progression est équilibrée afin que les éléments plus faciles renforcent la confiance, tandis que les questions plus difficiles récompensent une comptabilité soignée et une logique claire.