Terme
Pour exprimer que \(P\Leftrightarrow Q\) est vraie, on peut utiliser l’une des expressions suivantes.
\(P\Leftrightarrow Q\)
\(P\) équivaut à \(Q\).
On a \(P\) si, et seulement si on a \(Q\).
\(P\) est une condition nécessaire et suffisante pour qu’on ait \(Q\).
\(P\) est une caractérisation de \(Q\).
Module : Équivalence
Remarque Formulations d’une équivalence
Pour exprimer que \(P\Leftrightarrow Q\) est vraie, on peut utiliser l’une des expressions suivantes.
\(P\Leftrightarrow Q\)
\(P\) équivaut à \(Q\).
On a \(P\) si, et seulement si on a \(Q\).
\(P\) est une condition nécessaire et suffisante pour qu’on ait \(Q\).
\(P\) est une caractérisation de \(Q\).