(logic) a formal representation of an argument. The inference of A from A & B is written A & B ̃⊢ A. The sequent ̃⊢ A represents the derivation of A from no assumptions and thus indicates that A is a theorem
1550s, "following," from Old French sequent "following, subsequent," from Latin sequentem (nominative sequens) "next, following," present participle of sequi "to follow" (see sequel). As a noun from 1580s.