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.

Exemples

• Si il pleut, alors il y a des nuages. L'assertion il pleut est suffisante à l'assertion il y a des nuages.

• Portail de la logique
• Portail des mathématiques