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 lógico verifuncional

Classificação:Semântica
Equivalentes:
Inglês:logical operator
Francês:opérateur logique
Termos Sinónimos:conector lógico

Definição:

Smbolo com um valor fixo que se combina com variveis proposicionais num clculo lgico, para formar frmulas vlidas (ou bem formadas). Os conectores lgicos do clculo proposicional so '' (negao) '∧' (conjuno), '∨' (disjuno), '↔' (bicondicional). Exemplos: (P ∨ Q), P, (P ∧ Q) so expresses (ou frmulas) bem formadas do clculo proposicional. Estes conectores fazem parte do vocabulrio de outros sistemas lgicos. Note-se que '¬' um operador unrio, diferentemente dos outros.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC