Dicionário de Termos Linguísticos

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.