[数] 相继式
... 相继扫描场 consecutive fields; 相继式 sequent; 相继行 consecutive line; ...
相继发生的事
... sequent连续的;其次的;作为结果而产生的 sequent结果;相继发生的事 sequencer程序装置,[计]定序器 ...
后果
... sequentgeosyncline后继地槽 sequent连续的;结果的;后果;相继发生的事 sequentialaccess按序存取 ...
序列元
... sequencingkey 定序标准 sequent 序列元 sequential1 时序的2序列的,顺序的 ...
连续的;其次的;作为结果而产生的
continuing / straight / endless / running / serial
结果;相继发生的事
outcome / product / result / event / consequence
In mathematical logic, a sequent is a very general kind of conditional assertion.A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.