Deducción

En lógica, es una forma de razonamiento donde se infiere una conclusión a partir de una o varias premisas. En la argumentación deductiva válida la conclusión debe ser verdadera si todas las premisas son asimismo verdaderas. Así por ejemplo, si se afirma que todos los seres humanos cuentan con una cabeza y dos brazos y que Carla es un ser humano, en buena lógica entonces se puede concluir que Carla debe tener una cabeza y dos brazos. Es éste un ejemplo de silogismo, un juicio en el que se exponen dos premisas de las que debe deducirse una conclusión lógica. La deducción se expresa casi siempre bajo la forma del silogismo.

Forma de razonamiento lógico que permite pasar de una proposición dada a consecuencia que aquella se desprende necesariamente.