L’implication de la proposition Q par la proposition P, notée P → Q est une proposition qui est fausse si (P est vraie et Q fausse) et qui est vraie dans tous les autres cas.

Par exemple : soit ABCD un quadrilatère ; on considère les propositions « P→→nbsp;: ABCD est un carré » et « P : ABCD est un rectangle ». Alors P → Q.