En
logique mathématique, l
'implication est l'un des
connecteurs binaires du langage du
calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors mon gazon est arrosé ».