Razonamiento deductivo

En lógica, un razonamiento deductivo es un argumento donde la conclusión se infiere necesariamente de las premisas.[2]

Por ejemplo, la siguiente es una deducción de la fórmula a partir de las premisas y en el sistema de la lógica proposicional:

Este argumento se conoce con el nombre de modus ponendo ponens.

Ejemplo

Un ejemplo de razonamiento deductivo es el siguiente:

  1. Todos los humanos son mortales.
  2. Sócrates es humano.
  3. Por lo tanto, Sócrates es mortal.

La primera premisa afirma que todos los objetos clasificados como "humanos" tienen el atributo "mortal". La segunda premisa asegura que "Sócrates" es clasificado como "humano" (miembro del conjunto "humanos"). Por silogismo, se puede concluir entonces que "Sócrates" debe ser "mortal", pues hereda este atributo a partir de su clasificación como "humano". Esta forma de argumento se conoce como Silogismo y en este caso tenemos la primera forma de silogismo, los griegos de la antigüedad recordaban estas formas con nombres de personas por las vocales: Esta corresponde a DARII en la primera forma de silogismo. A: Universal Afirmativa, I: Particular Afirmativa.

Other Languages
العربية: استنباط
azərbaycanca: Deduksiya
български: Дедукция
bosanski: Dedukcija
čeština: Dedukce
dansk: Deduktion
Deutsch: Deduktion
Esperanto: Dedukto
galego: Dedución
עברית: דדוקציה
hrvatski: Dedukcija
magyar: Dedukció
Հայերեն: Դեդուկցիա
Bahasa Indonesia: Metode deduksi
íslenska: Afleiðsla
italiano: Deduzione
日本語: 演繹
한국어: 연역
Кыргызча: Дедукция
македонски: Дедукција
Nederlands: Deductie
norsk nynorsk: Deduksjon
português: Método dedutivo
srpskohrvatski / српскохрватски: Dedukcija
Simple English: Deductive reasoning
slovenčina: Dedukcia
slovenščina: Dedukcija
shqip: Deduksioni
српски / srpski: Дедукција
svenska: Deduktion
українська: Дедукція
oʻzbekcha/ўзбекча: Deduksiya
Tiếng Việt: Suy diễn logic
中文: 演绎推理
粵語: 演繹推理