sequent
Định nghĩa
Hệ quả, dãy hệ quả.
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)".)
Ví dụ :
"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. "
Cuốn sách giáo trình logic giải thích cách mỗi dãy hệ quả, với phần tiền đề gồm các mệnh đề sai dẫn đến phần hậu quả gồm các kết luận đúng, biểu thị một dạng lập luận hợp lệ.
Ví dụ :
"The sequent feeling of accomplishment after finishing a challenging exam made all the hard work worthwhile. "
Cảm giác thành tựu tiếp theo sau khi hoàn thành một bài kiểm tra khó khiến mọi nỗ lực đều trở nên xứng đáng.
Liên tiếp, kế tiếp.
Ví dụ :
Từ liên quan
sequential adjective
/sɪˈkwenʃəl/ /səˈkwenʃəl/
Tuần tự, liên tiếp, kế tiếp.
accomplishment noun
/ə.ˈkʌm.plɪʃ.mənt/ /ə.ˈkɑm.plɪʃ.mənt/
Thành tựu, sự hoàn thành, sự hoàn tất.
