Diferencia entre revisiones de «Reductio ad absurdum»

Contenido eliminado Contenido añadido
Sin resumen de edición
Lucien leGrey (discusión · contribs.)
m Revertidos los cambios de 189.168.195.72 (disc.) a la última edición de TXiKiBoT
Línea 3:
== En matemáticas ==
 
Supongamos que se desea demostrar la [[proposición]] ''P''. El procedimiento consiste en demostrar que asumiendo como cierta la falsedad de ''P'' (o sea, ''P negada'') .conduce a una contradicción [[lógica]]. Esta ''P'' no puede ser falsa, por lo que ha de ser verdadera.
 
Por ejemplo, consideremos la proposición "no existe un [[número]] racional mínimo mayor que cero". En una ''reducción al absurdo'', comenzaríamos por asumir lo contario que existe un mínimo número racional y que es mayor que cero; llamémoslo ''r''<sub>0</sub>.
Línea 86:
[[zh-min-nan:Hoán-chèng-hoat]]
[[zh-yue:反證法]]
ferzilla