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