Commune
Condition nécessaire
condition forcément vérifiée
Condition nécessaire
En logique mathématique, une condition nécessaire à l'assertion P {\displaystyle P} est une assertion Q {\displaystyle Q} telle que : Q ⟸ P {\displaystyle Q\Longleftarrow P} En d'autres termes, si P {\displaystyle P} est vérifiée, alors Q {\displaystyle Q} l'est également. Par contraposée, si Q {\displaystyle Q} n'est pas vérifiée, alors P {\displaystyle P} ne l'est pas non plus : Q {\displaystyle Q} est nécessaire à P {\displaystyle P} . Une condition à la fois nécessaire et suffisante est dite équivalente.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement