Cálculo

De Enciclopedia Symploké, la enciclopedia libre.

Un cálculo es un conjunto de signos organizados según unas reglas. Los cálculos son puros constructos formales sin significado. Cuando sus expresiones reciben una interpretación se convierten propiamente en lenguajes.

Todo cálculo se compone de:

  • Un conjunto de signos primitivos o elementales.
  • Un conjunto de reglas sintácticas que establecen la manera de combinarse correctamente los signos primitivos para dar lugar a fórmulas bien formadas. Se llaman reglas de formación o reglas de combinación.
  • Un conjunto de reglas que permiten transformar las fórmulas bien formadas en otras. Son las reglas de transformación y son las que permiten realizar deducciones.
enciclopedista

Valid XHTML 1.0 Transitional