Reglas de transformación

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

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.