Déduction (n.)

opération de raisonnement admettant une proposition si elle est liée à d'autres propositions précédemment admises, comme dans la déduction.