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

equivalência

Classificação:Semântica
Equivalentes:
Inglês:equivalence|FR
Termos Sinónimos:bicondicional
Termos Relacionados:cálculo proposicional

Definição:

No cálculo proposicional, uma equivalência, ou bicondicional, é uma implicação bilateral, cujo conector é '≡' ('↔' ou '⇔'. Pode-se definir uma bicondicional como a conjunção de duas proposições condicionais (P ≡ Q = df (P → Q) & (Q → P). Uma bicondicional só é verdadeira se as duas proposições "P" e "Q" forem ambas verdadeiras ou ambas falsas. Linguisticamente, uma bicondicional corresponde a "se e só se" ou "é uma condição necessária e suficiente para. Uma outra definição de bicondicional: "X chama-se um Y" (ou é um Y) sse X tem a propriedade P".
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC