# Deductive closure

In propositional logic, the set of all true propositions exhibits deductive closure: if set O is the set of true propositions, and operation R is logical consequence (“$\vdash$”), then provided that proposition p is a member of O and p is R-related to q (i.e., p $\vdash$ q), q is also a member of O.