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

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

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