équivalence [latin : aequivalere, valoir autant]
Connecteur noté ⇔ (lire "équivalent"), défini par la table de vérité suivante :
|
p
|
q
|
p ⇔ q
|
|
V
|
V
|
V
|
|
V
|
F
|
F
|
|
F
|
V
|
F
|
|
F
|
F
|
V
|
La proposition p ⇔ q
est vraie si et seulement si les propositions p et q ont la même valeur
de vérité, autrement dit :
La proposition p ⇔ q
est vraie si et seulement si les propositions p et q sont vraies toutes les
deux, ou fausses toutes les deux.