implies
" of our inferences. That is to say, our rules of deduction are to be used, not only as rules, which is their use for establishing "
implies
" but also as substantive premisses, i.e. as the
of our schema. Suppose, for example, we wish to prove that if