6.01 La forma general de la operación es, por lo tanto: .

Esta es la forma más general de la transición de una proposición a otra.