Accueil🇫🇷Chercher

Condition suffisante

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.

Exemples

  • Si il pleut, alors il y a des nuages. L'assertion il pleut est suffisante à l'assertion il y a des nuages.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.