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.
Soit p et q deux propositions
É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.