Dedución: Diferenzas entre revisións

Na Galipedia, a Wikipedia en galego.
Contido eliminado Contido engadido
Thijs!bot (conversa | contribucións)
m robot Añadido: vi:Suy diễn logic
TXiKiBoT (conversa | contribucións)
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.