Визуальное значение 'sequent'? - учите с картинками, примеры из жизни

Визуальная иллюстрация sequent: Последовательность, элемент последовательности - Image 1

sequent: Последовательность, элемент последовательности - Thumbnail 1

noun

Последовательность, элемент последовательности

Something that follows in a given sequence.

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

Взрыв был внезапным, и пожар был его ужасной последовательностью.

system process outcome time

Визуальная иллюстрация sequent: Дизъюнктивное множество логических формул, которое разделено на два подмножества; первое подмножество, называемое антецедентом, состоит из формул, которые оцениваются как ложные, а второе подмножество, называемое сукцедентом, состоит из формул, которые оцениваются как истинные.

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

"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