sequent background

sequent

/ˈsiːkwənt/

Illustration sequent - Image 1

Illustration sequent - Image 2

noun

后继, 序列项

Something that follows in a given sequence.

Examples :

"The explosion was sudden, and the fire was its terrible sequent. "

爆炸发生得很突然，随之而来的是可怕的火灾，如同它的后继。

system process outcome time

Illustration sequent - Image 1

noun

后承式，相继式。

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

Examples :

"The logic textbook explained how each sequent, with its antecedent of false statements leading to a succedent of true conclusions, represented a valid argument form. "

这本逻辑教科书解释了每个后承式（或者说相继式）如何代表一种有效的论证形式，它由一组前提（前件）组成，这些前提被认为是假的，并且推导出结论（后件），这些结论被认为是真的。

logic math philosophy system theory

Illustration sequent - Image 1

Illustration sequent - Image 2

noun

后继者，跟随者.

Examples :

"After the keynote speaker finished, a long line of sequents waited to ask her questions. "

主题演讲人结束后，一大群跟随者排队等着向她提问。

Illustration sequent - Image 1

Illustration sequent - Image 2

noun

后继式，相继式。

A sequential calculus

Examples :

"The logic textbook introduces the concept of a sequent and its use in formal proofs. "

这本逻辑教科书介绍了后继式（相继式）的概念，以及它在形式证明中的应用。

logic math system

Illustration sequent - Image 1

Illustration sequent - Image 2

adjective

随后的，后来的。

That comes after in time or order; subsequent.

Examples :

"The first earthquake was small, but the sequent tremors were much stronger and caused significant damage. "

第一次地震很小，但随后的几次震动强度大了很多，造成了严重的破坏。

time event history

Illustration sequent - Image 1

Illustration sequent - Image 2

adjective

随后的，接着的。

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

Examples :

"The sequent feeling of accomplishment after finishing a challenging exam made all the hard work worthwhile. "

考完一场艰巨的考试后，随之而来的成就感让所有的努力都变得值得了。

outcome logic philosophy

Illustration sequent - Image 1

Illustration sequent - Image 2

adjective

相继的，连续的

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

Examples :

"The student aced the sequent quizzes, showing consistent hard work. "

这个学生相继的几次小测都得了高分，说明他一直都很努力。

time number process