Lógica deductiva

El 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.^[1]​^[2]​ 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.

Un ejemplo de razonamiento deductivo es el siguiente:^[3]​

La primera premisa afirma que todos los objetos clasificados como «metales» tienen el atributo «ser maleables». La segunda premisa asegura que «el oro» es clasificado como «metal» (miembro del conjunto «metales»). Por silogismo, se puede concluir entonces que «el oro» debe ser «maleable», pues hereda este atributo a partir de su clasificación como «metal». Esta forma de argumento se conoce como silogismo y en este caso tenemos la primera forma de silogismo, los griegos de la antigüedad recordaban estas formas con nombres de personas por las vocales: Esta corresponde a DARIO en la primera forma de silogismo. A: Universal Afirmativa, I: Particular Afirmativa.