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:

Relação de sentido entre duas proposições em que a verdade da segunda, a consequente, decorre necessariamente da verdade da primeira, a antecedente, de tal modo que não se pode afirmar a primeira e negar a segunda. Ou seja, se P implica estritamente Q,então não é logicamente possível que P e não-Q sejam ambas verdadeiras, ou vice-versa. Exemplo: se P for "o João sempre foi solteiro" e Q "o João nunca foi casado", então, se P é verdadeira, Q é também verdadeira e não podemos negar Q, se afirmarmos P e vice-versa.
Volume II

Fonte: LYONS (1977).


Pesquisa Dicionário:
ILTEC