Equivalence
ou double implication

Définition

p et q sont équivalentes si et seulement si p et q ont la même valeur de vérité.

(p ⇔ q)


Table de vérité

p q p ⇒ q q ⇒ p p ⇔ q
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1

(A retenir)

tdv

Propriété

L'équivalence (p ⇔ q) est vraie si et seulement si (p ⇒ q) est vraie ET (q ⇒ p) est vraie.