Principio de Prueba Indirecta

Un método de demostración que establece la veracidad de una proposición P asumiendo su negación ¬P y derivando una contradicción; a partir de la contradicción se concluye que P debe ser verdadera (llamado reductio ad absurdum o prueba por contradicción en lógica clásica).