En logique mathématique, une condition nécessaire à l'assertion P {\displaystyle P} est une assertion Q {\displaystyle Q} telle que : P ⟹ Q {\displaystyle P\Longrightarrow Q} En d'autres termes, si P {\displaystyle P} est vérifiée, alors Q {\displaystyle Q} l'est également. Wikipedia