Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, 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.
Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc.
El lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.
Esta fórmula final se llama teorema cuando tiene un papel importante en la teoría siendo desarrollada, o lema cuando desempeña un papel accesorio en la demostración de un teorema.
