In mathematical logic, a sequent is a very general kind of conditional assertion. A sequent may have any number m of condition formulas Aᵢ and any number n of asserted formulas Bⱼ. A sequent is understood to mean that if all of the antecedent... Wikipedia