Este documento explica el método de reducción al absurdo, donde se demuestra la validez de un argumento al mostrar que negar la conclusión lleva a una contradicción. Se presentan dos proposiciones y un teorema sobre este método, y se incluye un ejemplo de su aplicación para probar la validez de un argumento asumiendo la negación de la conclusión y derivando una contradicción.