Implication et équivalence/Équivalences

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Soit p et q deux propositions

Équivalences

La proposition $p\iff q$ ou p équivalent à q est définie par la conjonction de deux implications : $(p\Rightarrow q)\wedge (q\Rightarrow p)$

Voici la table de vérité associée à p équivalent à q:

Valeur de p	Valeur de q	Valeur de $p\Rightarrow q$	Valeur de $q\Rightarrow p$	Valeur de $p\iff q$
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.