deductive closure
noun1
The set of all the statements that can be deduced from a given set of statements.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.
noun
The set of all the statements that can be deduced from a given set of statements.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.
Do you accept non-essential analytics cookies?