Razonamiento deductivo 
o deducción 
Es      un argumento donde      la conclusión se infiere necesariamente de   las premisas.1
Tradicionalmente se consideraba, y en muchos casos todavía se considera, que la deducción
es un método de razonamiento «top-down», o que «va de lo general a lo particular». Esto, en
oposición a la inducción, que sería un método «bottom-up», o que «va de lo particular a lo
general».
En su definición lógica formal, una deducción es una secuencia finita de fórmulas, de las
cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las
fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a
partir de fórmulas previas en la secuencia por medio de reglas de inferencia.12 En resumen es
comprender/entender(deducir) algo con base en un argumento.
Un razonamiento deductivo es «mediato» porque se efectúa siguiendo una serie de «pasos
lógicos». Estos razonamientos deductivos, nos permiten referir los objetos o fenómenos
estudiados a las leyes que los rigen; de igual manera, permiten descubrir una consecuencia
desconocida, a partir de un principio conocido. Estos principios se consideran como premisas.