Difference between revisions 59140992 and 59141000 on eswiki

En [[lógicpene               penea]], 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]]

[[ar:استنتاج استنباطي]]
[[bg:Дедукция]]
[[bs:Dedukcija]]
[[ca:Raonament deductiu]]
[[cs:Dedukce]]
[[da:Deduktion]]
[[de:Deduktion]]
[[en:Deductive reasoning]]
[[eo:Dedukto]]
[[et:Deduktsioon]]
[[fa:استدلال استنتاجی]]
[[fi:Deduktiivinen päättely]]
[[fr:Déduction logique]]
[[gl:Dedución]]
[[he:דדוקציה]]
[[hi:निगमनात्मक तर्क]]
[[hr:Dedukcija]]
[[hu:Dedukció]]
[[id:Metode deduksi]]
[[is:Afleiðsla]]
[[it:Deduzione]]
[[ja:演繹]]
[[kk:Тілдің дедуктивтік теориясы]]
[[ko:연역]]
[[ky:Дедукция]]
[[lv:Deduktīvs slēdziens]]
[[mk:Дедукција]]
[[nl:Deductie]]
[[nn:Deduksjon]]
[[no:Deduksjon (filosofi)]]
[[pl:Rozumowanie dedukcyjne]]
[[pt:Método dedutivo]]
[[ro:Raționament deductiv]]
[[ru:Дедуктивное умозаключение]]
[[sh:Dedukcija]]
[[simple:Deductive reasoning]]
[[sl:Dedukcija]]
[[sr:Дедукција]]
[[sv:Deduktion]]
[[ta:பகுப்புவழி பகுத்தறிதல்]]
[[th:อีดักต์]]
[[uk:Дедукція]]
[[uz:Deduksiya]]
[[vi:Suy diễn logic]]
[[zh:演绎推理]]
[[zh-yue:演繹推理]]