En teoría de la prueba, un consecuente se trata de una declaración formalizada de verificación que se utiliza frecuentemente cuando se está especificando el cálculo para el método deductivo. En el cálculo secuencial, se utiliza el nombre secuencial para representar una estructura que puede ser considerada como un tipo específico de juicio, característica del cálculo secuencial.
