Deducción

En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.[1] 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.[1] [2]

Por ejemplo, la siguiente es una deducción de la fórmula (p \to q) \, en el sistema de la lógica proposicional:

\langle \quad (q \to (p \to q)), \quad q, \quad (p \to q) \quad \rangle

Se trata de una secuencia de tres fórmulas. Si esta secuencia ha de ser una deducción, entonces la última fórmula será la conclusión, es decir la fórmula siendo deducida, y las otras dos deben ser, o bien premisas, o bien axiomas, o bien deducciones previas. La primera fórmula, (q \to (p \to q)) \, es una instancia del esquema de axioma (\phi \to (\psi \to \phi)) \, (en el sistema de Jan Łukasiewicz), y por lo tanto es un axioma. La segunda fórmula, q \,, no es un axioma, y tampoco puede ser deducida de la fórmula previa, de modo que es una premisa. Para que esta secuencia sea una deducción, entonces, sólo falta que sea posible inferir la última fórmula a partir de las dos anteriores por medio de una regla de inferencia del sistema. Y en efecto, por medio del modus ponens (la única regla de inferencia del sistema de Łukasiewicz) es posible deducir la última fórmula a partir de las otras dos. Esta secuencia constituye, por lo tanto, una deducción.

Véase también

Notas y referencias

  1. a b Robert Audi, ed., «Deduction» (en inglés), The Cambridge Dictionary of Philosophy (2nd Edition), Cambridge University Press 
  2. Véase la sección «1.4 An Axiom System for the Propositional Calculus» en Mendelson, Eliott (1997). Introduction to Mathematical Logic (4ª edición). Chapman & Hall. pp. 34-35. 

Wikimedia foundation. 2010.

Sinónimos:

Mira otros diccionarios:

  • deducción — sustantivo femenino 1. Acción y efecto de deducir, sacar consecuencias de un principio, proposición o supuesto: El detective examinó las pruebas y llegó a la deducción de que se trataba de un suicidio. 2. Descuento de una parte de una cantidad… …   Diccionario Salamanca de la Lengua Española

  • deducción — (Del lat. deductĭo, ōnis). 1. f. Acción y efecto de deducir. 2. derivación (ǁ acción de sacar o separar una parte). 3. Fil. Método por el cual se procede lógicamente de lo universal a lo particular. 4. Mús. Serie de notas que ascienden o… …   Diccionario de la lengua española

  • deducción — Sistema de razonamiento que desde un principio conocido lleva a uno desconocido, o desde lo general a lo específico. El razonamiento deductivo se utiliza para analizar hipótesis diagnósticas. Diccionario Mosby Medicina, Enfermería y Ciencias de… …   Diccionario médico

  • Deducción — (Del lat. deductio, onis.) ► sustantivo femenino 1 Acción de obtener una idea a partir de otra. SINÓNIMO consecuencia derivación inferencia 2 Acción de separar una parte del todo: ■ deducción de la tara del camión. SINÓNIMO resta 3 …   Enciclopedia Universal

  • deducción — s f Acto de deducir: la deducción científica, una deducción correcta, la deducción de una cuota, deducción de gastos …   Español en México

  • deducción — {{#}}{{LM D11656}}{{〓}} {{SynD11924}} {{[}}deducción{{]}} ‹de·duc·ción› {{《}}▍ s.f.{{》}} {{<}}1{{>}} Conclusión o resultado que se extraen o se alcanzan a partir de un antecedente y por medio del razonamiento: • ¿Te cuento mis deducciones?{{○}}… …   Diccionario de uso del español actual con sinónimos y antónimos

  • deducción — Comercio. Rebaja, descuento que se hace de una cantidad …   Diccionario de Economía Alkona

  • deducción — sustantivo femenino 1) conclusión, derivación, consecuencia, ilación, resultado. 2) descuento, rebaja*, disminución, resta. * * * Sinónimos: ■ …   Diccionario de sinónimos y antónimos

  • deducción — Comercio. Rebaja, descuento que se hace de una cantidad …   Diccionario de Economía

  • Deducción del módulo de la suma — Saltar a navegación, búsqueda Este artículo presenta una deducción para la expresión del módulo resultante de dos vectores (véase Vector (física) y Módulo (vector)) Deducción Sean dos vectores y que forman un ángulo θ entre sí: La fórmula para c …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”