Condition nécessaire
condition forcément vérifiée / 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 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.