Dicionário de Termos Linguísticos

Relação entre duas proposições P e Q (P → Q) / P ⊃ Q, respectivamente antecedente e consequente, que só é falsa quando o antecedente é verdadeiro e o consequente falso. No entanto, se o antecedente é falso e o consequente é verdadeiro, do ponto de vista linguístico parece estranho que a relação seja verdadeira. Temos aqui um caso em que os conectores lógicos e os do português variam. Corresponde à construção "se...então", embora linguisticamente esta seja muito mais complexa.