deductive closure
danh từ (noun)
Nghĩa chính
- Tập hợp tất cả các mệnh đề có thể được suy ra từ một tập hợp các mệnh đề đã chodanh từThe set of all the statements that can be deduced from a given set of statements.
Dạng từ (word form)
theo quy tắc (regular)- deductive closureDạng gốc (base form)
- deductive closuresSố nhiều (plural)