Consiste en demostrar que una cierta situación A es verdadera, suponiendo que no lo es, es decir, que se verifica NO A. Vamos deduciendo correctamente consecuencias de NO A y nos encontramos, por fin, con una que dice algo absurdo; por ejemplo, que 2 = 3. Entonces está claro que nuestro punto de partida NO A es falso. Es decir, que A es verdadero. Este es un proceso de pensamiento muy usual en la resolución de problemas.