Condition nécessaire

En logique mathématique, une condition nécessaire à l'assertion ${\displaystyle P}$ est une assertion ${\displaystyle Q}$ telle que :

${\displaystyle P\Longrightarrow Q}$

En d'autres termes, si ${\displaystyle P}$ est vérifiée, alors ${\displaystyle Q}$ l'est également. Par contraposée, si ${\displaystyle Q}$ n'est pas vérifiée, alors ${\displaystyle P}$ ne l'est pas non plus : ${\displaystyle Q}$ est nécessaire à ${\displaystyle P}$.

Une condition à la fois nécessaire et suffisante est dite équivalente.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.