deductive closure
Jump to navigation
Jump to search
English
[edit]Noun
[edit]deductive closure (plural deductive closures)
- The set of all the statements that can be deduced from a given set of statements.
deductive closure (plural deductive closures)