Weakly complete axiomatization of exogenous quantum propositional logic