







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














