Logique et ensemblesNotion · Glossaire
Condition suffisante
En logique et en mathématiques, une condition suffisante pour qu'une proposition P soit vraie est une condition C telle que la vérité de C entraîne la vérité de P. Autrement dit, C suffit pour garantir P. La réciproque n'est pas requise : P peut être vraie sans que C le soit. Lorsqu'une condition est à la fois nécessaire et suffisante, les deux propositions sont logiquement équivalentes et chacune implique l'autre.
Sommaire
Ce que vous allez apprendre
- Lire correctement l'implication C ⇒ P et identifier la condition qui garantit la conclusion.
- Démontrer sur un entier arbitraire que la divisibilité par 4 suffit pour la parité.
- Réfuter la réciproque avec l'entier 6 sans invalider l'implication initiale.
- Séparer condition suffisante, condition nécessaire et condition nécessaire et suffisante.
- Repérer une condition impossible, un domaine oublié ou une preuve limitée à quelques exemples.
En clair
Prenons un entier divisible par 4, comme 8. Il s'écrit 4 × 2, donc aussi 2 × 4 : il est forcément pair. Savoir qu'un entier est divisible par 4 suffit ainsi pour conclure qu'il est pair.
Cette information est une condition suffisante, mais elle n'est pas indispensable. L'entier 6 est pair sans être divisible par 4. Une condition suffisante garantit donc le résultat chaque fois qu'elle est vérifiée, sans couvrir toutes les façons d'obtenir ce résultat.
Définition
Soient C une condition et P une proposition, définies dans un même univers de situations. Dire que C est suffisante pour P signifie que toute situation où C est vraie est aussi une situation où P est vraie. Cette relation est l'implication , lue « si C, alors P ».
Pour tout entier n, la condition « n est divisible par 4 » suffit pour la proposition « n est pair ». En effet, s'il existe un entier k tel que n = 4k, alors n = 2(2k). L'entier 2k prouve que n est pair.
L'implication n'impose pas sa réciproque : P peut être vraie lorsque C est fausse, comme pour n = 6. Si P implique aussi C, alors C est à la fois nécessaire et suffisante pour P. Les deux propositions sont alors équivalentes, ce qui s'écrit et se lit « C si et seulement si P ».
Un exemple, pas à pas
Montrons que, pour un entier n, être divisible par 4 est une condition suffisante pour être pair. Les données sont un entier n et l'hypothèse qu'il existe un entier k tel que n = 4k.
1. Partons de l'hypothèse n = 4k.
2. Réécrivons 4 comme 2 × 2 : n = 2 × (2k).
3. Puisque k est entier, 2k est entier. L'égalité n = 2 × (2k) montre donc que n est pair. La figure traduit la même preuve par inclusion : chaque multiple de 4 se trouve parmi les nombres pairs.
4. Contrôlons le sens de l'implication avec deux valeurs. Pour n = 8, l'hypothèse est vraie et la conclusion aussi. Pour n = 6, la conclusion est vraie mais l'hypothèse est fausse : la réciproque échoue, sans remettre en cause la condition suffisante.
En pratique
Pour prouver une conclusion, cherchez une hypothèse plus forte qui l'entraîne directement. Dans l'exemple, connaître la divisibilité par 4 évite de tester séparément la parité : l'écriture n = 4k produit aussitôt un facteur 2.
Pour vérifier qu'une condition annoncée est réellement suffisante, supposez-la vraie et tentez de rendre la conclusion fausse. Un seul contre-exemple avec C vraie et P fausse réfute l'implication ; une longue liste d'exemples favorables ne la démontre pas.
Pour résoudre un problème, une condition suffisante peut donner des solutions garanties sans décrire toutes les solutions. Si l'on cherche une caractérisation complète, il faut aussi établir que la condition est nécessaire, donc prouver l'implication réciproque.
À ne pas confondre
Condition suffisante et condition nécessaire. Une condition suffisante entraîne la conclusion ; une condition nécessaire est au contraire exigée par elle. Pour les entiers, être divisible par 4 suffit pour être pair, tandis qu'être pair est nécessaire pour être divisible par 4. L'entier 6 sépare les deux sens.
Implication et équivalence. Une implication ne demande qu'un sens, alors qu'une équivalence exige les deux. « Divisible par 4 implique pair » est vraie, mais « divisible par 4 si et seulement si pair » est fausse à cause de 6.
Limites et pièges
Inversion du sens. De C ⇒ P, on ne peut pas déduire P ⇒ C. Le symptôme est une conclusion utilisée comme nouvelle hypothèse. Testez la réciproque séparément : n = 6 est pair, mais n'est pas divisible par 4.
Condition jamais réalisée. Une condition impossible implique logiquement toute proposition, puisqu'il n'existe aucun cas où elle est vraie et la conclusion fausse. Cette implication dite vacuement vraie n'apporte toutefois aucun moyen d'obtenir P ; vérifiez que C peut effectivement se produire dans le domaine étudié.
Domaine oublié. La vérité dépend de l'univers annoncé. L'argument n = 4k ⇒ n pair suppose que n et k sont entiers. Avant de réutiliser une condition suffisante, conservez son domaine et toutes ses hypothèses.
Preuve par exemples. Vérifier 8, 12 et 16 illustre l'implication, mais ne couvre pas tous les multiples de 4. Pour conclure en général, utilisez un argument valable pour un entier arbitraire, ici n = 4k = 2(2k).
Pour aller plus loin
Condition nécessaire — Examiner le sens inverse de l'implication et reconnaître une hypothèse indispensable sans la prendre pour une garantie.
Si et seulement si — Passer des deux implications réciproques à une caractérisation complète par équivalence logique.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres