sequent

n. 后果, 随之而来的事 a. 连续的, 结果的

发音

UK /ˈsiːkwənt/
其它

词形变化

sequents 复数 sequents more sequent 比较级 most sequent 最高级

释义与例句

n.
  1. 1.

    Something that follows in a given sequence.

  2. 2.

    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)".)

    数学 哲学

    A sequent a,b⊢c,d could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be ~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as "a and b give c or d".

  3. 3.

    A follower.

    废旧
  4. 4.

    A sequential calculus

    数学
adj.
  1. 1.

    That comes after in time or order; subsequent.

    废旧
  2. 2.

    That follows on as a result, conclusion etc.; consequent to, on, upon.

    古体
  3. 3.

    Recurring in succession or as a series; successive, consecutive.

词汇关系

形容词

同义词 10

serial attendant collateral consecutive accompanying successive incidental sequential consequent resultant

近义相关 2

ordered subsequent

相关短语

sequent calculus sequent calculi

词源

1550s; borrowed from Middle French sequent, from Old French sequent, itself borrowed from Latin sequentem, present participle of sequī (“to follow”).

来源：wiktionary