Dícese de la descripción y aplicación de una ley lógica. Indica cómo se puede formar una fórmula o expresión lógica (regla de formación) y operar para pasar de una fórmula a otras (regla de transformación); representa un elemento importante del cálculo.
