Condition suffisante
condition qui en implique une autre / De Wikipedia, l'encyclopédie encyclopedia
Cet article court présente un sujet plus développé dans : Implication (logique).
En logique mathématique, une condition suffisante à l'assertion est une assertion telle que :
En d'autres termes, si est vérifiée, alors l'est également. Il suffit donc que soit vraie pour que le soit également.
Une condition à la fois nécessaire et suffisante est dite équivalente.