L'operazione
si mostra in una variabile; essa mostra come si può arrivare da una forma di
proposizioni a un'altra.
Essa porta ad espressione la
distinzione delle forme.
(E ciò che è in comune tra le basi
e il risultato dell'operazione sono appunto le basi.)
5.241 L'operazione contrassegna non una forma, ma solo la
distinzione delle forme.
5.242 La stessa operazione che fa "q" da
"p", fa, da "q", "r", e così via. Questo può
essere espresso solo nell'essere "p", "q", "r".
etc., variabili che portano ad espressione in modo generale certe relazioni
formali.