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.

(v. fbf)

Ir al texto