Condition suffisante

En logique mathématique, une Modèle:Terme défini à l'assertion $P$ est une assertion $Q$ telle que :

$Q⟹P$

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

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

Exemples

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