6.01 La forma generale dell'operazione è quindi: .

Questa è la forma più generale del passaggio da una proposizione a un'altra.