En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière.