deductive closure (English, noun)
expansion: deductive closure (plural deductive closures)
Senses:
glosses: The set of all the statements that can be deduced from a given set of statements.
Forms:
form: deductive closures
tags: plural