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