Raisonnement par disjonction de cas

Un article de Wikipédia, l'encyclopédie libre.

Le raisonnement par disjonction de cas est une forme de raisonnement mathématique qui consiste à décomposer la proposition que l'on cherche à démontrer en un nombre fini de cas (sous-propositions) vérifiés indépendamment.