At any rate, it is obvious that an argument exactly parallel to the simplification case (see my note shows that closure of knowledge under known logical equivalence and addition of a disjunct implies deductive closure.