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

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

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

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}