Dedución: Diferenzas entre revisións
m robot Añadido: vi:Suy diễn logic |
m robot Añadido: sh:Dedukcija, sr:Дедукција |
||
Liña 32: | Liña 32: | ||
[[pt:Dedução]] |
[[pt:Dedução]] |
||
[[ru:Дедуктивное умозаключение]] |
[[ru:Дедуктивное умозаключение]] |
||
[[sh:Dedukcija]] |
|||
[[sl:Dedukcija]] |
[[sl:Dedukcija]] |
||
[[sr:Дедукција]] |
|||
[[sv:Deduktion]] |
[[sv:Deduktion]] |
||
[[tr:Tümdengelim]] |
[[tr:Tümdengelim]] |
Revisión como estaba o 26 de outubro de 2006 ás 01:37
O razoamento dedutivo foi descrito por primeira vez por filósofos da Antiga Grecia, en especial Aristóteles.
Opostamente ao 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 premisas 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ódolos homes son libres.
- Aristóteles é un home.
Disto dedúcese que Aristóteles é libre. Observemos que inda que as premisas son razoamentos xerais substentables, a conclusión é doada de refugar por ter un campo de perspectiva reducido.