Diferencia entre revisiones de «Reductio ad absurdum»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 3:
'''''Reductio ad absurdum''''', expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usados en matemáticas, usado para demostrar la validez (o invalidez) de [[Proposición|proposiciones]] categóricas.
Se parte por [[Suposición|suponer]] como hipotética la negación o falsedad de la tesis de la proposición a demostrar, y mediante una [[concatenación]] de [[inferencia]]s [[lógica]]s válidas se pretende llegar a una [[contradicción]] lógica, un [[absurdo]], de llegar a una contradicción, se concluye que la hipótesis de partida (que se había supuesto
Para [[Demostración|demostrar]] la invalidez de una proposición, se supone como punto de partida que la proposición es cierta. Si la derivación final es una contradicción, se concluye que la proposición original es falsa y el argumento es inválido.
| |||