Un secuente es una expresión de la forma\Gamma \Rightarrow \Delta. \Gammase llama el antecedente, mientras que\Delta es el sucesivo. La idea intuitiva detrás de un secuente es: si todas la...Un secuente es una expresión de la forma\Gamma \Rightarrow \Delta. \Gammase llama el antecedente, mientras que\Delta es el sucesivo. La idea intuitiva detrás de un secuente es: si todas las oraciones en el antecedente se mantienen, entonces al menos una de las oraciones del sucesivo sostiene.
