Definify.com

Definition 2024

deductive_closure

deductive closure

English

Noun

deductive closure ‎(plural deductive closures)

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