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

bicondicional

Classificação:Semântica
Equivalentes:
Inglês:biconditional
Francês:biconditionnelle
Termos Sinónimos:equivalência
Termos Relacionados:condicional
implicação

Definição:

No clculo proposicional, uma equivalncia, ou bicondicional, uma implicao bilateral, cujo conector '≡' ('↔' ou '⇔'. Pode-se definir uma bicondicional como a conjuno de duas proposies condicionais (P ≡ Q = df (P → Q) & (Q → P). Uma bicondicional s verdadeira se as duas proposies "P" e "Q" forem ambas verdadeiras ou ambas falsas. Linguisticamente, uma bicondicional corresponde a "se e s se" ou " uma condio necessria e suficiente para. Uma outra definio 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