Deductive closure
= Deductive closure
{wiki=Deductive_closure}
Deductive closure is a concept in epistemology and logic that pertains to the completeness of a set of beliefs or propositions in relation to logical entailment. Specifically, a set of beliefs is said to be deductively closed if, whenever the set contains a belief (or proposition) \\( P \\) and \\( P \\) logically entails another belief (or proposition) \\( Q \\), then \\( Q \\) is also contained within that set.