Difference between revisions 58882619 and 58976829 on eswiki

< previous diff
next diff >
Deducción
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 [(contracted; show full)[[sv:Deduktion]]
[[ta:பகுப்புவழி பகுத்தறிதல்]]
[[th:อีดักต์]]
[[uk:Дедукція]]
[[uz:Deduksiya]]
[[vi:Suy diễn logic]]
[[zh:演绎推理]]
[[zh-yue:演繹推理]]