Epistemic closure

Epistemic closure is a concept in epistemology, the branch of philosophy that deals with knowledge and belief. The idea revolves around the relationship between knowledge and deductive inference. Specifically, it suggests that if a person knows a particular proposition (P) and also knows that P implies another proposition (Q), then they should also know Q.