raisonnement déductif

Prenons le nombre 28. Une règle affirme que tout multiple de 4 est pair. Or 28 est un multiple de 4, car 28 = 4 × 7. Sans examiner tous les nombres pairs, on peut donc conclure que 28 est pair.

Ce passage d'une règle admise à un cas auquel elle s'applique est une déduction. Si les deux points de départ sont vrais et si l'enchaînement est valide, la conclusion ne peut pas être fausse.

Un raisonnement déductif est un argument dans lequel la conclusion découle nécessairement des prémisses. Une prémisse est une proposition prise comme point de départ. La validité concerne la forme de l'enchaînement : il est impossible que toutes les prémisses soient vraies et la conclusion fausse. Quand l'argument est valide et ses prémisses effectivement vraies, il est dit solide et sa conclusion est vraie.

Le passage d'une règle générale à un cas particulier est fréquent, mais il ne définit pas à lui seul toute déduction. Pour formaliser l'exemple, la propriété P(n) signifie « n est multiple de 4 » et la propriété Q(n) signifie « n est pair ». La règle générale s'écrit $\mathrm{\forall }n\in \mathbb{Z},P(n)\Rightarrow Q(n)\backslash forall\; n\backslash in\backslash mathbb\{Z\},\backslash \; P(n)\backslash Rightarrow\; Q(n)$. Avec P(28), le modus ponens donne Q(28).

En mathématiques, axiomes, définitions et théorèmes déjà établis fournissent les prémisses des démonstrations. Plusieurs règles valides peuvent s'enchaîner. Une évaluation réflexive, évoquée dans la définition de référence, devient déductive seulement si l'avis du tiers est formulé comme une prémisse et si la conclusion en suit nécessairement ; la démarche d'amélioration, à elle seule, peut aussi mobiliser jugement et induction.

On veut établir que 28 est pair. Les données sont la règle « tout multiple de 4 est pair » et l'égalité 28 = 4 × 7. La première porte sur tous les entiers ; la seconde vérifie que 28 entre bien dans son domaine.

1. Notons P(n) la proposition « n est multiple de 4 » et Q(n) la proposition « n est pair ».

2. La règle générale fournit l'implication P(n) ⇒ Q(n) pour chaque entier n.

3. Comme 28 = 4 × 7, la proposition P(28) est vraie. Le modus ponens permet alors l'enchaînement suivant :

4. On conclut que 28 est pair. Le contrôle est indépendant : 28 = 2 × 14, donc 28 répond bien à la définition d'un entier pair. Ce contrôle confirme le résultat ; la nécessité logique venait déjà de la règle et du cas vérifié.

Dans une démonstration, on choisit la déduction lorsqu'un théorème connu couvre exactement les hypothèses du problème. Si une hypothèse manque, chercher un contre-exemple ou établir d'abord cette hypothèse est préférable à appliquer le théorème de force.

Pour vérifier un argument, on sépare deux questions : la règle d'inférence est-elle valide, et les prémisses sont-elles vraies ? Un calcul ou une source contrôle les prémisses ; une mise en forme logique contrôle l'enchaînement.

Dans une relecture, une remarque extérieure peut devenir une nouvelle prémisse. La déduction convient si elle impose une correction précise ; quand plusieurs améliorations restent possibles, une comparaison argumentée est plus adaptée.

Raisonnement inductif. Il généralise à partir de cas observés, sans rendre la conclusion nécessaire. Voir 4, 8 et 12 pairs autorise une conjecture sur les multiples de 4 ; la déduction exige une règle valable pour tous les entiers concernés.

Raisonnement abductif. Il propose une explication plausible à un constat. Savoir que les multiples de 4 sont pairs et observer un nombre pair n'autorise pas à conclure qu'il est multiple de 4 : 6 tranche immédiatement.

Implication réciproque. De « si un entier est multiple de 4, alors il est pair », on ne déduit pas « s'il est pair, alors il est multiple de 4 ». La première implication est vraie pour 6, mais sa réciproque y échoue.

Prémisse fausse. Un argument peut être valide sans donner une conclusion vraie sur le monde. Avec « tous les nombres pairs sont multiples de 4 » et « 6 est pair », la forme déductive conduit à une conclusion fausse parce que la règle de départ est fausse. Il faut contrôler séparément les prémisses.

Affirmation du conséquent. De P ⇒ Q et Q, conclure P est invalide. Le symptôme est une implication lue à l'envers : 6 est pair, mais 6 n'est pas multiple de 4. Il faut établir P autrement ou disposer aussi de Q ⇒ P.

Règle hors domaine. Une implication peut être vraie seulement pour un ensemble précisé. Avant d'y substituer une valeur, il faut vérifier qu'elle appartient à ce domaine ; sinon, la déduction ne démarre pas.

Évaluation réflexive. Intégrer un avis à son travail ne garantit pas une conséquence unique. Si la remarque dit seulement « cette preuve est peu claire », plusieurs révisions restent possibles. Il faut expliciter une règle de correction avant de parler d'étape déductive.

modus ponens — Étudier en détail la règle d'inférence utilisée dans l'exemple de 28.

contraposée — Découvrir une implication équivalente, utile pour construire certaines démonstrations déductives.

déduction naturelle — Replacer plusieurs règles d'inférence dans un système formel de démonstration.