

When we have rightly introduced the logical signs, the sense of all their combinations has been already introduced with them: therefore not only "p v q", but also "~(p v ~q)", etc. etc. We should then already have introduced the effect of all possible combinations of brackets; and it would then have become clear that the proper general primitive signs are not "p v q", "(x).fx", etc., but the most general form of their combinations. 5.461 (1) The apparently unimportant fact that the apparent relations like v and , need brackets  unlike real relations  is of great importance. The use of brackets with these apparent primitive signs shows that these are not the real primitive signs; and nobody of course would believe that the brackets have meaning by themselves. 