Un secuente es una expresión de la formaΓ⇒Δ. Γse llama el antecedente, mientras queΔ es el sucesivo. La idea intuitiva detrás de un secuente es: si todas la...Un secuente es una expresión de la formaΓ⇒Δ. Γse llama el antecedente, mientras queΔ 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.
