Deducción, en lógica, es una forma de razonamiento donde se infiere una terminación a partir de una o varias premisas. En la argumentación deductiva válida la conclusión debe ser auténtica si todas las premisas son de igual forma auténticas. De este modo por ejemplo, si se asegura que todos los seres humanos cuentan con una cabeza y dos brazos y que Carla es un ser humano, en buena lógica así pues se puede concluir que Carla debe tener una cabeza y dos brazos. Es éste un ejemplo de silogismo, un proceso en el que se exhiben dos premisas de las que debe deducirse una terminación lógica. La deducción se expresa casi siempre bajo la forma del silogismo.
