Diferencia entre revisiones de «Reductio ad absurdum»

Contenido eliminado Contenido añadido
La expresión original "negación" no corresponde a este tipo de inferencia, pues, precisamente, de lo que se trata es de demostrar la falsedad de lo que se afirma, objeto de la reducción al absurdo.
Etiquetas: Edición desde móvil Edición vía web móvil
Línea 2:
'''''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 usado en matemáticas para demostrar la validez (o invalidez) de [[Proposición|proposiciones]] categóricas.
 
Se parte por [[Suposición|suponer]] como hipotética la negaciónveracidad 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 verdadera al principio) ha de ser falsa y entonces la hipótesis original es verdadera y su proposición o argumento es válido.
 
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.