, and a proposition "

implies

," from which we infer

. Now when we are concerned with the principles of deduction, our apparatus of primitive propositions has to yield both the

and the "