Dedución: Diferenzas entre revisións

Contido eliminado Contido engadido
XoseBot (conversa | contribucións)
m Bot : Substitución automatizada de texto (-\[(C|c)ategory(:|: ) +[Categoría:)
Xas (conversa | contribucións)
Sen resumo de edición
Liña 1:
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.
Liña 7:
Un exemplo:
 
:TódolosTodos os homes son libres.
:Aristóteles é un home.