Terme
Condition nécessaire
- Expression
- condition nécessaire, conditions nécessaires
- 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\).