Logique
Implication
Condition nécessaire, suffisante
Condition nécessaire, condition suffisante
Il s'agit d'une autre façon d'exprimer les implications. Les phrases suivantes ont le même sens :
---
"
P
Q
"
;
--- pour que
"
P
"
soit vraie,
il faut que
"
Q
"
soit vraie ;
---
"
Q
"
est une
condition nécessaire
pour que
"
P
"
;
--- pour que
"
Q
"
soit vraie,
il suffit que
"
P
"
soit vraie ;
---
"
P
"
est une
condition suffisante
pour que
"
Q
"
.
La même implication peut donc s'écrire
--- soit comme une condition suffisante,
"pour que la conclusion soit vraie, il suffit que l'hypothèse soit vraie"
,
--- soit comme une condition nécessaire,
"pour que l'hypothèse soit vraie, il faut que la conclusion soit vraie"
.
Q" ;