Fórmula (expresión)

Ir a la navegación Ir a la búsqueda

Una fórmula es una secuencia o cadena de caracteres cuyos símbolos pertenecen a un

lenguaje formal, de tal manera que la expresión cumple ciertas reglas de buena formación
y que admite una interpretación consistente en alguna área de la matemática y en otros
sistemas formales. Ésta tiene la finalidad de expresar una relación general entre los
términos expresados en la fórmula.

En un sistema formal, una fórmula bien formada es una cadena de caracteres o palabra
generada según una gramática formal a partir de un alfabeto dado. Un lenguaje formal se
define como el conjunto de todas sus fórmulas bien formadas.