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