L’implication en logique des propositions
[quote]IMPLICATION LOGIQUE
L’implication de Q par P est la proposition (¬P) ∨ Q, notée « P ⇒ Q » ou « P implique Q » qui est fausse seulement si la proposition P est vraie et la proposition Q est fausse. L’implication est vraie dans tous les autres cas.[/quote]
lexique netmath.ca: implication/