Stratégie de résolution de problèmes par laquelle on peut construire de nouveaux énoncés en combinant logiquement des énoncés qui sont acceptés comme vrais. Quand le raisonnement est appliqué correctement, la déduction se révèle une stratégie sûre et généralement efficace, comme pour la situation suivante : Déplacez un cavalier selon le saut classique à partir de la deuxième case de la première ligne dans une grille 5 × 5, de façon à atteindre une seule fois chacune des cases. 

Plusieurs essais vont s'avérer infructueux, car il n'y a pas de solution. Après avoir colorié les cases comme sur l'échiquier ci-dessous, on remarque que le cavalier se déplace continuellement d'une case pâle à une case foncée et d'une foncée à une pâle. Comme le nombre de cases de la couleur de celle de départ est inférieur d'une unité au nombre de cases de l'autre couleur, il est impossible d'atteindre toutes les cases. La figure montre une situation où le cavalier parcourt 24 cases. Les cases atteintes sont numérotées de 1 à 24.

La généralisation des données à l'aide de l'algèbre permet la résolution de certaines récréations.

© Charles-É. Jean

Index : D

Voir aussi Procéder par déduction dans le Lexique de résolution de problèmes.