5.24 L'operazione si mostra in una variabile; essa mostra come si può passare da una forma di proposizioni a un'altra.

Essa porta a espressione la differenza delle forme.

(E ciò che è in comune tra le basi e il risultato dell'operazione sono appunto le basi.)