📦Nom féminin/de.dyk.sjɔ̃/courant

déduction

#logique#raisonnement#mathématiques

Définition

La déduction est un processus de raisonnement qui consiste à tirer une conclusion nécessaire et certaine à partir d'une ou plusieurs propositions considérées comme vraies (les prémisses). C'est un mécanisme fondamental de la pensée logique et scientifique. Par exemple, en mathématiques, on utilise la déduction pour démontrer des théorèmes : à partir d'axiomes (vérités admises) et de règles logiques, on établit des conclusions incontestables. Dans la vie quotidienne, elle permet de faire des inférences : si « tous les mammifères ont des poumons » (prémisse générale) et que « la baleine est un mammifère » (prémisse particulière), on en déduit avec certitude que « la baleine a des poumons ». Ce raisonnement va du général au particulier. La déduction s'oppose souvent à l'induction, qui, elle, part d'observations particulières pour proposer une loi générale, mais sans garantie de certitude absolue.

Définition simple

C'est un raisonnement qui part d'une idée générale considérée comme vraie pour en tirer une conclusion certaine sur un cas particulier. Si la règle est juste, le résultat l'est forcément.

✏️Exemples d'utilisation

  • •"En géométrie : « Tous les angles droits sont égaux. L'angle ABC est un angle droit. Donc l'angle ABC est égal à tout autre angle droit. »"
  • •"Au quotidien : « Le règlement dit que tout retard entraîne une pénalité. Je suis en retard. Je dois donc payer une pénalité. »"
  • •"En logique formelle : « Tous les A sont B. Or C est un A. Donc C est B. »"

💡À retenir

Il est crucial de distinguer la validité de la vérité dans un raisonnement déductif. Un raisonnement peut être valide (sa forme logique est correcte) même si ses prémisses sont fausses, mais la conclusion ne sera alors pas forcément vraie dans la réalité. Par exemple : « Tous les chats volent. Minou est un chat. Donc Minou vole. » La logique est valide, mais la première prémisse est fausse, donc la conclusion est fausse. La force de la déduction réside dans cette structure logique qui, si les prémisses sont vraies, garantit la vérité de la conclusion.

Étymologie

Le mot « déduction » vient du latin « deductio », qui signifie « action de conduire, de mener ». Ce terme est lui-même dérivé du verbe « deducere », composé de « de- » (qui indique un mouvement vers le bas ou une séparation) et « ducere » (conduire, mener). En français, il apparaît au XIVe siècle avec le sens logique et financier qu'on lui connaît aujourd'hui.

💬 Exemples d'utilisation

1

"En géométrie : « Tous les angles droits sont égaux. L'angle ABC est un angle droit. Donc l'angle ABC est égal à tout autre angle droit. »"

2

"Au quotidien : « Le règlement dit que tout retard entraîne une pénalité. Je suis en retard. Je dois donc payer une pénalité. »"

3

"En logique formelle : « Tous les A sont B. Or C est un A. Donc C est B. »"

💡 À retenir

Il est crucial de distinguer la validité de la vérité dans un raisonnement déductif. Un raisonnement peut être valide (sa forme logique est correcte) même si ses prémisses sont fausses, mais la conclusion ne sera alors pas forcément vraie dans la réalité. Par exemple : « Tous les chats volent. Minou est un chat. Donc Minou vole. » La logique est valide, mais la première prémisse est fausse, donc la conclusion est fausse. La force de la déduction réside dans cette structure logique qui, si les prémisses sont vraies, garantit la vérité de la conclusion.

Explorer par lettre

Dico