deductive closure
Noun
Meaning
deductive closure (plural deductive closures)
The set of all the statements that can be deduced from a given set of statements.
Noun
deductive closure (plural deductive closures)
The set of all the statements that can be deduced from a given set of statements.