Logique

 Condition nécessaire et suffisante, condition telle qu'elle entraîne nécessairement une conséquence donnée et, en même temps, l'exclut nécessairement si elle n'est pas posée.

Condition nécessaire et suffisante

La condition nécessaire n'est pas obligatoirement liée à la condition suffisante. La première est décrite de la façon suivante : « A est condition nécessaire de B si l'on ne peut avoir simultanément B et non-A. » On dit alors que B implique A. La seconde est décrite de la façon suivante : « A est une condition suffisante de B si on ne peut avoir simultanément A et non-B. » On dit alors que A implique B. On peut remarquer que « A est une condition nécessaire de B » et « B est une condition suffisante de A » sont des expressions synonymes.