Condition nécessaire
Apparence
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
[modifier | modifier le code]Une condition nécessaire pour qu'il pleuve est la présence de nuages. S'il n'y a pas de nuages, il ne peut pas pleuvoir.