Propositions équivalentes
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 [latex]\iff[/latex] 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 [latex]\iff[/latex] x = 2,5.
- « Les triangles ABC et DEF sont semblables » [latex]\iff[/latex] « Les angles homologues des triangles ABC et DEF sont isométriques. »