Formula

Una frmula es una secuencia o cadena de caracteres cuyos smbolos pertenecen a un lenguaje
formal, de tal manera que la expresin cumple ciertas reglas de buena formacin y que admite
una interpretacin consistente en alguna rea de la matemtica y en otros sistemas formales. sta
tiene la finalidad de expresar una relacin general entre los trminos expresados en la formula.

En un sistema formal, una frmula bien formada, tambin llamada expresin bien formada, y a
menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada segn una
gramtica formal a partir de un alfabeto dado. Un lenguaje formal se define como el conjunto de
todas sus frmulas bien formadas.