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

operador

Classificação:Sintaxe; Semântica
Equivalentes:
Inglês:operator
Francês:opérateur
Termos Relacionados:conjunção
escopo

Definição:

Conectores do clculo proposicional que operam sobre proposies (os seus argumentos) para formar novas proposies. Se requerem um s argumento chamam-se unrios e se requerem dois argumentos chamam-se binrios. Dependendo dos sistemas, os operadores podem ser primitivos ou definidos. Os operadores que tm a propriedade de, a partir do valor de verdade do seu(s) argumento(s), deduzir o valor de verdade da proposio complexa chamam-se operadores verifuncionais e as proposies que formam so funes de verdade dos seus argumentos. Em lgica modal h os operadores modais-L (necessidade) e M (possibilidade) ou outros pares.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC