Método de demostración Reducción al absurdo
Definición del absurdo 1 Contrario a la lógica o a la razón. ilógico. lógico. — s. m. 2 Dicho o hecho que no tiene lógica. sinsentido.
Que es la reduccion al absurdo? es un tipo de argumento muy empleado en matemáticas. Consiste en demostrar que una proposición matemática es verdadera probando que si no lo fuera conduciría a una contradicción
pasos 1 negar la tesis 2 llegar a una contradicción
Ejemplo de aplicacion Supóngase que se desea demostrar una 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 debería no ser falsa. Por lo tanto habría de ser verdadera.