En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

condition

(latin condicio, -onis)

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.

LOGIQUE ET MATHÉMATIQUES

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.