A result on propositional logics having the disjunction property