Diferenzas entre revisións de «Dedución»

sen resumo de edición
m (Bot : Substitución automatizada de texto (-\[(C|c)ategory(:|: ) +[Categoría:))
O razoamento dedutivo foi descrito por primeira vez por [[filósofo]]s da [[Antiga Grecia]], en especial [[Aristóteles]].
 
Opostamente ao [[Indución|razoamento indutivo]] no cal se formulan leis a partir de feitos observados, o razoamento dedutivo infire eses mesmos feitos baseándose na lei xeral.
 
En [[lóxica]], a dedución é unha modalidade de [[razoamento]] no cal a verdade das [[premisa]]s non converte en verdadeira a [[conclusión]], senón que a conclusión dun razoamento dedutivo só é probable. Así pois, nun razoamento dedutivo poden afirmarse as premisas e, asemade, negar a conclusión sen contradicirse.
Un exemplo:
 
:TódolosTodos os homes son libres.
:Aristóteles é un home.
 
94.117

edicións