Aller au contenu

Condition nécessaire

Un article de Wikipédia, l'encyclopédie libre.

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.

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.