implication [latin : in, dedans ; et plicare, plier] (2) :
Connecteur noté ⇒ (lire "implique"), défini par la table de vérité suivante :
p
|
q
|
p⇒q
|
V
|
V
|
V
|
V
|
F
|
F
|
F
|
V
|
V
|
F
|
F
|
V
|
La proposition p⇒q est fausse si et seulement si p est vraie alors que q est fausse.