Revision 67611052 of "Deducción" on eswiki

En [[lógica]], una '''deducción''' es un [[Argumento (lógica)|argumento]] donde la [[conclusión]] se [[inferencia|infiere]] [[Necesario|necesariamente]] de las [[premisa]]s.<ref name="Cambridge">{{cita enciclopedia |título=Deduction |idioma=inglés |enciclopedia=[[The Cambridge Dictionary of Philosophy]] |editorial=Cambridge University Press |edición=2nd Edition |sined=sin |editor=Robert Audi}}</ref> En su definición formal, una deducción es una [[Sucesión (matemáticas)|secuencia]] [[Conjunto finito|finita]] de [[Fórmula bien formada|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 [[axioma]]s, o bien [[premisa]]s, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de [[Regla de inferencia|reglas de inferencia]].<ref name="Cambridge" /><ref name="Mendelson">Véase la sección «1.4 An Axiom System for the Propositional Calculus» en {{cita libro |apellido=Mendelson |nombre=Eliott |título=Introduction to Mathematical Logic |año=1997 |edición=4ª |editorial=Chapman & Hall |páginas=34-35}}</ref>

Por ejemplo, la siguiente es una deducción de la fórmula <math>(p \to q) \,</math> en el sistema de la [[lógica proposicional]]:
:<math>\langle \quad (q \to (p \to q)), \quad q, \quad (p \to q) \quad \rangle</math>

Q es la incógnita que es la respuesta y p es la pregunta. Una pregunta puede tener varias respuestas por lo cual puede tener varias incógnitas esto quiere decir que (P = Q * X) esto se deduce a partir de la lógica. 
 
== Véase también ==
* [[Demostración matemática]]
* [[Validez lógica]]
* [[Consecuencia lógica]]
* [[Método hipotético-deductivo]]

== Notas y referencias ==
{{listaref}}

[[Categoría:Lógica]]
[[Categoría:Método científico]]