deductive closure noun1 •The set of all the statements that can be deduced from a given set of statements. formsdeductive closures
