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, si ${\displaystyle Q}$ est vérifiée, alors ${\displaystyle P}$ l'est également. Il suffit donc que ${\displaystyle Q}$ soit vraie pour que ${\displaystyle P}$ le soit également.

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