El antecedente asumido de una prueba condicional se llama supuesto de prueba condicional (SPC).
Por lo tanto, el objetivo de una prueba condicional es demostrar que si el SPC fuera cierto, entonces la conclusión deseada sigue necesariamente.
La validez de una prueba condicional no requiere que el SPC sea realmente cierta, solo que si fuera cierta ello condujese al consecuente.
Las pruebas condicionales son de gran importancia para las matemáticas.
Hay un gran número de tareas interesantes, y aunque no se sabe si existe una solución en tiempo polinomial para cualquiera de ellas, se sabe que si existe tal solución para cualquiera de ellas, existe para todos ellas.