Raisonnement par disjonction de cas

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.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.