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

conector lógico

Classificação:Semântica;
Equivalentes:
Inglês:logical connective
Francês:connecteur logique
Termos Sinónimos:operador lógico verifuncional

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