sequent
/ˈsiːkwənt/ adjective, noun
Forms sequents
- adjective (obsolete) That comes after in time or order; subsequent.
- adjective (now rare) That follows on as a result, conclusion etc.; consequent to, on, upon.
- adjective Recurring in succession or as a series; successive, consecutive.
- noun Something that follows in a given sequence.
- noun (logic) A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
- noun (obsolete) A follower.
- noun (mathematics) A sequential calculus
Synonyms
consecutive sequential serial successive attendant consequent accompanying concomitant incidental ensuant resultant
Etymology
1550s; borrowed from Middle French sequent, from Old French sequent, itself borrowed from Latin sequentem, present participle of sequī (“to follow”).
Webster’s 1913
- adjective Following; succeeding; in continuance.
- adjective Following as an effect; consequent.
- noun A follower. [R.] Shak.
- noun That which follows as a result; a sequence.
Etymology [L. sequens, -entis, p. pr. of sequi to follow. See Sue to follow.]
Sources: Wiktionary · WordNet 3.0 · Webster’s 1913 — from the Wiktionary entry “sequent”, CC BY-SA 4.0. Details