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

implicação estrita

Classificação:Semântica
Equivalentes:
Inglês:entailment

Definição:

Relao de sentido entre duas proposies em que a verdade da segunda, a consequente, decorre necessariamente da verdade da primeira, a antecedente, de tal modo que no se pode afirmar a primeira e negar a segunda. Ou seja, se P implica estritamente Q,ento no logicamente possvel que P e no-Q sejam ambas verdadeiras, ou vice-versa. Exemplo: se P for "o Joo sempre foi solteiro" e Q "o Joo nunca foi casado", ento, se P verdadeira, Q tambm verdadeira e no podemos negar Q, se afirmarmos P e vice-versa.
Volume II

Fonte: LYONS (1977).


Pesquisa Dicionário:
ILTEC