Inferencia deductiva

Inferencia deductiva. Son aquellos razonamientos en que se obtienen una o varias conclusiones de manera necesaria [v. necesidad lógica].  Se estipulan premisas aceptadas como punto de partida de la cual se extraen conclusiones.  (Tradicionalmente se afirmaba que la inferencia deductiva era el tipo de razonamiento que partía de premisas generales hasta alcanzar conclusiones particulares.  Esta afirmación es válida para el silogismo [v] y para la lógica proposicional [v. Cálculo proposicional], pero no para la lógica cuantificacional [v. cálculo cuantificacional]).

Ejemplo:

Todas las obras de Mario Vargas Llosa atraen poderosamente mi atención.

"La tía Julia y el escribidor" es una obra de Mario Vargas Llosa.

Luego, "La tia Julia y el escribidor" atraerá poderosamente mi atención.

Si Alberto es hermano de Beatríz y Beatríz hermana de Carlos, luego Alberto es hermano de Carlos.