Hemos dicho cómo es un secuente inicial, y hemos dado las reglas de inferencia. Derivaciones en el cálculo secuente se generan inductivamente a partir de estos: cada derivación es un secuente inicial ...Hemos dicho cómo es un secuente inicial, y hemos dado las reglas de inferencia. Derivaciones en el cálculo secuente se generan inductivamente a partir de estos: cada derivación es un secuente inicial por sí mismo, o consiste en una o dos derivaciones seguidas de una inferencia.
