Conditioned disjunction as a primitive connective for the propositional calculus