Début de la boite de navigation du chapitre
Soit p et q deux propositions
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Implication et équivalence : Équivalences
Implication et équivalence/Équivalences », n'a pu être restituée correctement ci-dessus.
Équivalences
La proposition 
ou p équivalent à q est définie par la conjonction de deux implications : 
Voici la table de vérité associée à p équivalent à q:
| Valeur de p
|
Valeur de q
|
Valeur de 
|
Valeur de 
|
Valeur de
|
| V
|
V
|
V
|
V
|
V
|
| V
|
F
|
F
|
V
|
F
|
| F
|
V
|
V
|
F
|
F
|
| F
|
F
|
V
|
V
|
V
|
On peut remarquer que la proposition p équivalent à q est fausse si et seulement si le membre de gauche est différent du membre de droite.
