Le cœur de la déduction : une conséquence nécessaire
Les indices créent des contraintes. Déduire consiste à suivre ce que ces contraintes rendent possible ou impossible lorsqu'elles sont combinées.
La conclusion vient des faits de départ, pas de l'intuition.
Déduction directe et indirecte
Une déduction directe vient d'un indice explicite. Une déduction indirecte naît de plusieurs faits combinés.
Si l'objet A est dans le lieu B et que B correspond à 09:00, alors A correspond aussi à 09:00.
Propagation des contraintes
La conséquence d'une association ne reste pas dans une seule matrice. O élimine ses concurrents, ces X peuvent créer une nouvelle association forcée, puis ce nouvel O transmet de l'information ailleurs.
La contradiction est aussi une déduction
Si une hypothèse temporaire produit une situation impossible, l'hypothèse initiale est fausse. Cette méthode devient utile lorsque les indices directs ne suffisent plus.
Déduction contre supposition
Une supposition choisit sans preuve. Une déduction peut expliquer pourquoi les autres possibilités ont été éliminées. Chaque X et O devrait pouvoir être justifié.
Comment entraîner cette compétence
Avant chaque marque, demandez-vous quel indice ou quelle marque précédente la prouve. Sans réponse claire, laissez la case vide.
- Pas de O sans preuve.
- Propagez chaque association confirmée.
- Transformez les X accumulés en associations forcées.
- En cas de contradiction, remontez les dernières déductions.