BeDict Logo

sequent

/ˈsiːkwənt/
Hình ảnh minh họa cho sequent: Hệ quả, dãy hệ quả.
noun

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ệ.