(in. Formula; fr. Formule, al. Formei; it. Formula).
1. Elemento de um cálculo . Nesse sentido, a fórmula distingue-se da proposição, que é o elemento de um sistema semântico (Carnap, Foundations of Logic and Mathematics, § 9).
2. O mesmo que enunciado ou proposição.
3. Mais em geral: uma sequência finita linear de símbolos primitivos. Foi assim que A. Church definiu a fórmula, chamando de “fórmula bem formada” a fórmula que atende a certas regras fundamentais de uma linguagem ilntr. to Mathematical Logic, 1956, § 7). [Abbagnano]