Chapter Four, Tutorial Five
Complex Symbolizations

Here's a simple idea with which you are already familiar: The English form,

(1) If P, then Q

is symbolized as

(2)    P>Q

But this statement hides an important point about complex symbolizations. 'P' is a metavariable ranging over all sentences of SL; thus P itself may be a molecular sentence.

So, we have sometimes used the clearer but more cumbersome