Implication

Il s'agit d'une autre façon d'exprimer les implications. Les phrases suivantes ont le même sens :

• \("P\Rightarrow 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".