Una fórmula es una cadena de símbolos del alfabeto del lenguaje formal. Puede o no adecuarse a la gramática de dicho lenguaje, en caso de que sí se adecúe, hablamos de fórmulas bien formadas o fbf. Referencias en el texto: Reglas de formación de fórmulas