What's the difference between
and
Enter two words to compare and contrast their definitions, origins, and synonyms to better understand how those words are related.

Sequent vs Succedent - What's the difference?

sequent | succedent |

In logic|lang=en terms the difference between sequent and succedent

is that sequent is (logic) an element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements while succedent is (logic) the formulas on the right-hand side of a sequent.

As adjectives the difference between sequent and succedent

is that sequent is (obsolete) that comes after in time or order; subsequent while succedent is that succeeds; succeeding, following.

As nouns the difference between sequent and succedent

is that sequent is something that follows in a given sequence while succedent is (logic) the formulas on the right-hand side of a sequent.

sequent

English

Adjective

(en adjective)
  • (obsolete) That comes after in time or order; subsequent.
  • *1860 , , Two Sonnets :
  • *:Why are your songs all wild and bitter sad
  • *:As funeral dirges with the orphans' cries?
  • *:Each night since first the world was made hath had
  • *:A sequent day to laugh it down the skies.
  • That follows on as a result, conclusion etc.; consequent (to), (on), (upon).
  • *c. 1604 , (William Shakespeare), Measure for Measure :
  • *:But let my Triall, be mine owne Confession: / Immediate sentence then, and sequent death, / Is all the grace I beg.
  • *1897 , (Henry James), What Maisie Knew :
  • *:Maisie found herself clutched to her mother's breast and passionately sobbed and shrieked over, made the subject of a demonstration evidently sequent to some sharp passage just enacted.
  • Recurring in succession or as a series; successive, consecutive.
  • *c. 1603 , (William Shakespeare), Othello , I.2:
  • *:The Gallies Haue sent a dozen sequent Messengers / This very night, at one anothers heeles: / And many of the Consuls, rais'd and met, / Are at the Dukes already.
  • Noun

    (en noun)
  • Something that follows in a given sequence.
  • *1946 , (Bertrand Russell), History of Western Philosophy , I.30:
  • *:The One is somewhat shadowy. It is sometimes called God, sometimes the Good; it transcends Being, which is the first sequent upon the One.
  • (logic) An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements.
  • (obsolete) A follower.
  • (Shakespeare)

    succedent

    English

    Adjective

    (-)
  • That succeeds; succeeding, following
  • Noun

    (en noun)
  • (logic) The formulas on the right-hand side of a sequent.
  • Antonyms

    * antecedent ----