deductive closure

listen to the pronunciation of deductive closure
İngilizce - İngilizce
The set of all the statements that can be deduced from a given set of statements
deductive closure