Déduction

Grand Dictionnaire de la langue française numérisé

• n.f. Action de retrancher une somme d'un total à payer : Déduction faite des frais.
• n.f. Action de déduire quelque chose de quelque chose d'autre par un raisonnement ; conclusion, conséquence : Tirer des déductions des données actuelles.
• n.f. Enchaînement de propositions suivant des règles définies, constituées par des axiomes et des règles d'inférence.

Portail internet "Le Dictionnaire"

• n. Action de soustraire une somme d'une autre.
• n. (Didactique) Action de tirer une conséquence, d'inférer une chose d'une autre.
• n. (Logique) Procédé par lequel on va de la cause aux effets, du principe aux conséquences, du général au particulier.

Le littré

• pas de définition

Wiktionnaire

• Action de soustraire une somme d'une autre.
• (Didactique) Action de déduire, de tirer une conséquence, d'inférer une chose d'une autre.
• (Logique) Procédé par lequel on va de la cause aux effets, du principe aux conséquences, du général au particulier.
• (Histoire romaine) Déduction de colonie (deducere coloniam) : installation d'une colonie de citoyens romains sur des terres confisquées aux vaincus.