Otra manera de caracterizar a la relación de consecuencia lógica es a través de la teoría de la demostración.