una secuencia de fbfs (de L) es una deducción (en L) de B a partir de A₁ ... An syss es un argumento válido (en L) con A₁... An como premisas y B como conclusión.
(Haack, 1978).
En lógica, un razonamiento deductivo es un argumento donde la conclusión se infiere necesariamente de las premisas. En su definición 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.
Por ejemplo, la siguiente es una deducción de la fórmula q a partir de las premisas p → q y p en el sistema de la lógica proposicional: p → q, p; q (Este argumento se conoce con el nombre de modus ponendo ponens).
Un ejemplo de razonamiento deductivo es el siguiente:
Todos los humanos son mortales.
Sócrates es humano.
Por lo tanto, Sócrates es mortal.
La primera premisa afirma que todos los objetos clasificados como "humanos" tienen el atributo "mortal". La segunda premisa asegura que "Sócrates" es clasificado como "humano" (miembro del conjunto "humanos"). Por silogismo, se puede concluir entonces que "Sócrates" debe ser "mortal", pues hereda este atributo a partir de su clasificación como "humano". Esta forma de argumento se conoce como Silogismo.
(Wikipedia).