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.