Deductive-closure definition

The set of all the statements that can be deduced from a given set of statements.
noun
0
0
Advertisement

Other Word Forms

Noun

Singular:
deductive-closure
Plural:
deductive closures