Propositions qui ont la même valeur de vérité.
Synonyme d’identité.
Symbole
L’Équivalence des deux propositions P et Q se note : P \(\iff\) Q et se lit : « P est équivalente à Q » ou encore « P si et seulement si Q ».
Exemples
- Pour des valeurs de x réelles, les propositions suivantes sont équivalentes :
4x + 2 = 12 \(\iff\) x = 2,5. - « Les triangles ABC et DEF sont semblables » \(\iff\) « Les angles homologues des triangles ABC et DEF sont isométriques. »