Por ejemplo, considere el siguiente argumento:
1. Suponga que x =1.
2. Multiplica ambos lados de la ecuación por 2:2x =2.
3. Resta x de ambos lados de la ecuación:2x - x =2 - x.
4. Simplifica el lado izquierdo:x =2 - x.
5. Suma x a ambos lados de la ecuación:2x =2.
6. Divide ambos lados de la ecuación por 2:x =1.
Este argumento llega al absurdo porque lleva a la conclusión de que x es a la vez igual a 1 e igual a 2 - x, lo cual es una contradicción. Por tanto, la suposición original de que x =1 debe ser falsa.
Por lo general, cuando se llega a un absurdo en una demostración, indica que hay un error en el razonamiento o que la hipótesis original no es cierta. Puede ser una herramienta útil para identificar y corregir errores en argumentos lógicos.