fórmula

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. Esta 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.