Condition suffisante

En logique mathématique, une condition suffisante à l'assertion ${\displaystyle P}$ est une assertion ${\displaystyle Q}$ telle que :

${\displaystyle Q\Longrightarrow P}$

En d'autres termes, dans l'hypothèse où l'assertion ${\displaystyle Q}$ est vérifiée, alors l'assertion ${\displaystyle P}$ l'est également. Il suffit donc que ${\displaystyle Q}$ soit vraie pour que ${\displaystyle P}$ le soit également.

Une condition qui est à la fois nécessaire et suffisante est dite équivalente.