La proposition ''
équivaut à 
'', notée 
, est vraie si
et ont la même valeur de vérité. On la lit aussi '' si et
seulement si '', ou encore ''Il est nécessaire et
suffisant que pour que .
Les notions d'implication et d'équivalence sont très importantes pour
aborder la littérature mathématique, même si elles ne sont pas
aisées à comprendre. Il vous est conseillé de relire de temps en temps
ce chapitre.