L'implication, quant à elle, est définie, selon le même dictionnaire, comme la « relation entre deux propositions p et q, telle que la valeur de vérité de la proposition q, dite le conséquent, dépend ...