Succedent

Full definition of succedent

Adjective

1. That succeeds; succeeding, following

Noun

1. (logic) The formulas on the right-hand side of a sequent.

Antonyms

• antecedent