A Reduction in the number of the Primitive Propositions of Logic

