6.002 If the general form is given of how a proposition is constructed, then thereby already is given also the general form of how from one proposition, by means of an operation, another one can be produced.

OK