Disjonction de cas
Période historique : Logique classique
Partitionner l'univers des possibles en plusieurs cas exhaustifs pour les résoudre séparément.
Contenu & Formulation mathématique
Genèse & Portée historique
Méthode de raisonnement consistant à découper la preuve d'une proposition en plusieurs sous-hypothèses dont la réunion couvre la totalité des situations possibles (par exemple un nombre est soit pair soit impair, soit positif soit nul soit négatif), et à démontrer la conclusion séparément dans chaque cas.
Poussée à l'extrême par la puissance de calcul moderne, la disjonction de cas permit en 1976 de résoudre le théorème des quatre couleurs en traitant un à un près de 1500 cas distincts.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Disjonction de cas
Principe : Partition de l'espace des prémisses en sous-cas exhaustifs et vérification de la conclusion pour chacun d'eux.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.