Condition nécessaire
Cet article court présente un sujet plus développé dans : Implication (logique).
En logique mathématique, une condition nécessaire à l'assertion est une assertion telle que :
En d'autres termes, si est vérifiée, alors l'est également. Par contraposée, si n'est pas vérifiée, alors ne l'est pas non plus : est nécessaire à .
Une condition à la fois nécessaire et suffisante est dite équivalente.
Exemples
Une condition nécessaire pour qu'il pleuve est la présence de nuages. Si il n'y a pas de nuages, il ne peut pas pleuvoir.
- Portail de la logique
- Portail des mathématiques