## [Deducción](/es/node/59906) Definición El proceso u operación de derivar conclusiones que se siguen necesariamente de premisas dadas mediante la aplicación de reglas de inferencia dentro de un sistema lógico; la deducción produce conclusiones cuya verdad está implicada por las premisas y las reglas. ## Principio Principio La deducción se rige por reglas de inferencia que preservan la consecuencia: si las premisas son verdaderas (o derivables) en el sistema y las reglas se aplican correctamente, entonces las conclusiones están garantizadas como verdaderas (o derivables) respecto de la semántica del sistema. ## Demostración Demostración Un paso deductivo prototípico es el Modus Ponens: a partir de 'Si P entonces Q' y 'P' se deduce 'Q'. En un cálculo de secuentes esto corresponde a transformar un secuente con P y P→Q a la izquierda en un secuente con Q a la derecha mediante la aplicación de una regla. ## Aplicación incorrecta Aplicación incorrecta Tratar inferencias abductivas o inductivas (inferencia a la mejor explicación o generalización a partir de muestras) como conclusiones deductivamente ciertas; cometer falacias lógicas como afirmar el consecuente o negar el antecedente y creer que la conclusión está garantizada deductivamente. ## Consecuencia Consecuencia El razonamiento deductivo correcto proporciona certeza (relativa a las premisas y reglas) y constituye la columna vertebral de las matemáticas formales, la verificación y los sistemas de razonamiento simbólico; permite derivar todas las consecuencias de un conjunto de axiomas dentro de un sistema formal. ## Inversión Inversión El contraste inverso es el razonamiento inductivo o abductivo: en lugar de derivar consecuencias necesarias de las premisas, se infieren leyes generales a partir de observaciones o se hipotetizan premisas que mejor expliquen conclusiones observadas — estas carecen de necesidad deductiva. ## Límite Límite Se aplica a sistemas formales gobernados por reglas explícitas; no cubre la generalización empírica, la inferencia probabilística que produce grados de creencia, ni los saltos heurísticos/creativos no justificados por las reglas del sistema. ## Tensión semántica Tensión semántica Existe tensión entre la deducción y otros modos de razonamiento: la deducción exige reglas que preservan la verdad y confiere certeza, mientras que la inducción y la abducción intercambian certeza por poder explicativo o predictivo ampliativo; distinguirlos es crucial metodológicamente. ## Síntesis Síntesis La deducción es la transformación regida por reglas de premisas en conclusiones que están implicadas por esas premisas dentro de un sistema formal, proporcionando certeza relativa a los axiomas y reglas escogidos y contrastando con modos de inferencia ampliativos.