Pesquisa avançada
O Portal da Língua Portuguesa é um repositório organizado de recursos linguísticos. Pretende ser orientado tanto para o público em geral como para a comunidade científica, servindo de apoio a quem trabalha com a língua portuguesa e a todos os que têm interesse ou dúvidas sobre o seu funcionamento. Todo o conteúdo do Portal é de livre acesso e está em constante desenvolvimento.  ler mais

Dicionário de Termos Linguísticos

voltar ao índice

fórmula

Classificação:Semântica
Equivalentes:
Inglês:formula|FR
Termos Relacionados:cálculo proposicional
lógica de predicados

Definição:

Expressão bem formada de acordo com a sintaxe de um sistema lógico.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC