El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas. Una inferencia es deductivamente válida si su conclusión se sigue lógicamente de sus premisas, es decir, si es imposible que las premisas sean verdaderas y la conclusión falsa. Por ejemplo, la inferencia de las premisas "todos los hombres son mortales" y "Sócrates es hombre" a la conclusión "Sócrates es mortal" es deductivamente válida. Un argumento es sólido si es válido y todas sus premisas son verdaderas. Algunos teóricos definen la deducción en términos de las intenciones del autor para facilitar la distinción entre el razonamiento deductivo válido y el inválido.
La psicología se interesa por el razonamiento deductivo como un proceso psicológico, es decir, por la forma en que las personas realmente sacan inferencias. La lógica, por otro lado, se centra en la relación deductiva de consecuencia lógica entre las premisas y la conclusión o en cómo la gente debe sacar inferencias. Algunos entienden esta relación en términos de los posibles valores de verdad de interpretaciones. Otros, en cambio, se centran en las reglas de inferencia válidas. Una regla de inferencia es un esquema para sacar una conclusión de un conjunto de premisas basándose únicamente en su forma lógica. Hay varias reglas de inferencia, como el modus ponens y el modus tollens. Los argumentos deductivos inválidos, que no siguen una regla de inferencia, se llaman falacias formales. Las reglas de inferencia son reglas definitorias y contrastan con las reglas estratégicas, que especifican qué inferencias hay que sacar para llegar a una conclusión prevista. El razonamiento deductivo contrasta con el razonamiento no deductivo o ampliativo. Para los argumentos ampliativos, como los argumentos inductivos o abductivos, las premisas ofrecen un apoyo más débil a su conclusión: la hacen más probable, pero no garantizan su verdad. Compensan este inconveniente al poder proporcionar información genuinamente nueva que no se encuentra ya en las premisas, a diferencia de los argumentos deductivos.
La psicología cognitiva investiga los procesos mentales responsables del razonamiento deductivo. Uno de sus temas se refiere a los factores que determinan si las personas saquen inferencias deductivas válidas o inválidas. Un factor es la forma del argumento: por ejemplo, las personas tienen más éxito con los argumentos de la forma modus ponens que con el modus tollens. Otro es el contenido de los argumentos: es más probable que la gente crea que un argumento es válido si la afirmación hecha en su conclusión es plausible. Un hallazgo general es que las personas tienden a obtener mejores resultados en casos realistas y concretos que en casos abstractos. Las teorías psicológicas del razonamiento deductivo pretenden explicar estos resultados proporcionando una explicación de los procesos psicológicos subyacentes. Las teorías más conocidas son la teoría de la lógica mental, la teoría de los modelos mentales y la teoría del proceso dual.
El problema del razonamiento deductivo es relevante para varios campos y cuestiones. La epistemología trata de comprender cómo la justificación se transfiere de la creencia en las premisas a la creencia en la conclusión en el proceso de razonamiento deductivo. La controvertida tesis del deductivismo niega que haya otras formas correctas de inferencia además de la deducción. La deducción natural es un tipo de sistema de prueba basado en reglas de inferencia simples y evidentes. En filosofía, el método geométrico es una forma de filosofar que parte de un pequeño conjunto de axiomas evidentes y trata de construir un sistema lógico integral utilizando el razonamiento deductivo.