===== FÓRMULA =====
(in. Formula; fr. Formule, al. Formei; it. Formula).

1. [[lexico:e:elemento|elemento]] de um [[lexico:c:calculo|cálculo]] . Nesse [[lexico:s:sentido|sentido]], a fórmula distingue-se da [[lexico:p:proposicao|proposição]], que é o elemento de um [[lexico:s:sistema|sistema]] semântico (Carnap, Foundations of Logic and Mathematics, § 9).

2.  O mesmo que [[lexico:e:enunciado|enunciado]] ou proposição.

3. Mais em [[lexico:g:geral|geral]]: uma [[lexico:s:sequencia|sequência]] finita linear de [[lexico:s:simbolos|símbolos]] primitivos. Foi assim que A. Church definiu a fórmula, chamando de "fórmula [[lexico:b:bem|Bem]] formada" a fórmula que atende a certas regras fundamentais de uma [[lexico:l:linguagem|linguagem]] ilntr. to Mathematical Logic, 1956, § 7).