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
Derived forms
sequently (ˈsequently)
adverb
Word origin
C16: from Latin sequēns, from sequī to follow
sequent in American English
(ˈsikwənt)
adjective
1.
following in time or order; subsequent
2.
following as a result or effect; consequent
noun
3.
something that follows, esp. as a result; consequence
Word origin
L sequens, prp. of sequi, to follow < IE base *sekw-, to follow > OE secg, warrior