Terme
Condition suffisante
- Expression
- condition suffisante, conditions suffisantes
- Termes plus larges
- Implication
- Termes plus spécifiques
- Condition nécessaire et suffisante
- Contexte
- Implication
Définition
Module : Implication
Terme
Module : Implication
Remarque Formulations d’une implication
Pour exprimer que \(P\Rightarrow Q\) est vraie, on peut, selon l’usage, utiliser l’une des expressions suivantes.
\(P\Rightarrow Q\)
\(P\) implique \(Q\).
\(P\) entraîne \(Q\).
Si on a \(P\), alors on a \(Q\).
\(Q\) est une condition nécessaire pour qu’on ait \(P\).
Pour qu’on ait \(P\), il faut (il est nécessaire) qu’on ait \(Q\).
\(P\) est une condition suffisante pour qu’on ait \(Q\).
Pour qu’on ait \(Q\), il suffit (il est suffisant) qu’on ait \(P\).