Reglas de transformación
De Enciclopedia Symploké, la enciclopedia libre.
Junto con los signos primitivos y las reglas de formación, un conjunto de reglas que constituye uno de los componentes de un cálculo. Son aquellas que establecen la manera en que podemos pasar de unas fórmulas bien formadas de un cálculo a otras.