The general form of truth-function is: [, , N()].

This is the general form of proposition.

6.001    This says nothing else than that every proposition is the result of successive applications of the the operation N()  to the elementary propositions.

6.002    If we are given the general form of the way in which a proposition is constructed, then thereby we are also given the general form of the way in which by an operation out of one proposition another can be created.

6.01-6.03

6.1 - 6.5