Use of logical props.. You may have one so complicated that you cannot, by looking at it, see that it is a tautology; but you have shewn that it can be derived by certain operations from
certain other props. wh. according to our rule for constructing tautologies
props. of wh. this is obvious
; & hence you are enabled to see that one thing follows from another, when you would not have been able to see it otherwise. E.g. if our tautology is of form p ⊃ q, you can see that q follows from p; & so on.