Une implication est une proposition de la forme « si p alors q », notée p ⇒ q. Elle est fausse seulement si p est vraie et q est fausse.

Table de vérité :

p	q	p ⇒ q
V	V	V
V	F	F
F	V	V
F	F	V