deductive closure
短语词形变化
deductive closures
复数
deductive closures
释义与例句
n.
-
1.
The set of all the statements that can be deduced from a given set of statements.