👉 In logic, a sequent is a logical statement that represents the conditional validity of two propositions. It consists of two parts: an antecedent and a consequent. The antecedent part of a sequent expresses the condition under which the conclusion would be true if the antecedent were true. For example, in the sequent "A → B", A is the antecedent and B is the consequent. The consequent part of a sequent expresses the condition under which
