Dans l’\u00e9difice math\u00e9matique de la th\u00e9orie de la mesure et du calcul des probabilit\u00e9s, l’op\u00e9ration de disjonction — commun\u00e9ment r\u00e9sum\u00e9e par l’expression « A ou B » — constitue l’un des piliers conceptuels les plus cruciaux pour la mod\u00e9lisation formelle du hasard. D\u00e8s lors que l’on abandonne le d\u00e9terminisme laplacien au profit d’une description stochastique du monde, appr\u00e9hender la survenue conjointe, alternative ou cumulative d’\u00e9v\u00e9nements al\u00e9atoires devient indispensable. Qu’il s’agisse de mesurer la vuln\u00e9rabilit\u00e9 d’un syst\u00e8me financier \u00e0 deux chocs macro\u00e9conomiques distincts, d’\u00e9valuer l’efficacit\u00e9 th\u00e9rapeutique crois\u00e9e de deux mol\u00e9cules en pharmacologie ou de concevoir des protocoles d\u00e9cisionnels fiables en intelligence artificielle, l’\u00e9valuation rigoureuse de la probabilit\u00e9 de l’union d’\u00e9v\u00e9nements sous-tend l’ensemble de l’inf\u00e9rence statistique contemporaine.<\/p>\n
Pourtant, sous l’apparente simplicit\u00e9 de la locution « ou » se dissimule une complexit\u00e9 s\u00e9miotique et logique majeure. Dans le langage naturel quotidien, la disjonction est spontan\u00e9ment per\u00e7ue selon une modalit\u00e9 exclusive : lorsqu’une alternative est propos\u00e9e, l’intuition humaine tend \u00e0 postuler que la r\u00e9alisation d’une option \u00e9limine m\u00e9caniquement la seconde. Or, dans le cadre axiomatique de la th\u00e9orie des probabilit\u00e9s<\/a> moderne — formalis\u00e9e par Andre\u00ef Kolmogorov en 1933 —, le connecteur logique « ou » s’entend imp\u00e9rativement au sens inclusif. Calculer la probabilit\u00e9 de « A ou B » ne consiste pas \u00e0 \u00e9valuer la probabilit\u00e9 que l’un des \u00e9v\u00e9nements se produise \u00e0 l’exclusion<\/em> de l’autre, mais bien \u00e0 d\u00e9terminer la probabilit\u00e9 qu’au moins l’un des deux advienne, sans interdire leur simultan\u00e9it\u00e9 th\u00e9orique ou pratique.<\/p>\n Ce trait\u00e9 exhaustif se propose d’explorer en profondeur les fondements th\u00e9oriques, les m\u00e9canismes alg\u00e9briques, les applications empiriques et les pi\u00e8ges cognitifs inh\u00e9rents au calcul de la probabilit\u00e9 de l’union de deux \u00e9v\u00e9nements, not\u00e9e universellement P(A ∪ B)<\/em>. \u00c0 travers une d\u00e9marche p\u00e9dagogique rigoureuse, articul\u00e9e autour de d\u00e9rivations math\u00e9matiques pr\u00e9cises, d’analyses ensemblistes comparatives et d’exemples d\u00e9taill\u00e9s issus des sciences physiques, m\u00e9dicales, comportementales et du jeu, cet article fournit aux \u00e9tudiants, chercheurs et analystes quantitatifs les outils m\u00e9thodologiques complets pour d\u00e9jouer le double comptage, manier le principe d’inclusion-exclusion et structurer des arbres d\u00e9cisionnels infaillibles.<\/p>\n Au c\u0153ur de l’analyse stochastique, la notion d’\u00e9v\u00e9nement probabiliste transcende la simple observation empirique pour s’\u00e9riger en concept math\u00e9matique abstrait. Lorsque l’on s’int\u00e9resse \u00e0 l’occurrence d’un ph\u00e9nom\u00e8ne caract\u00e9ris\u00e9 par l’assertion « A ou B », on cherche \u00e0 quantifier le degr\u00e9 de certitude qu’une exp\u00e9rience al\u00e9atoire produise un r\u00e9sultat satisfaisant aux conditions d\u00e9finies par l’\u00e9v\u00e9nement A<\/em>, aux conditions d\u00e9finies par l’\u00e9v\u00e9nement B<\/em>, ou \u00e0 ces deux ensembles de conditions conjointement. Il s’agit fondamentalement d’une disjonction logique inclusive, analogue \u00e0 l’op\u00e9rateur bool\u00e9en standardis\u00e9.<\/p>\n Cette distinction s’av\u00e8re indispensable pour pallier les glissements s\u00e9mantiques inh\u00e9rents aux langues vernaculaires. Dans la conversation courante, la phrase « nous irons au restaurant ou au cin\u00e9ma » implique g\u00e9n\u00e9ralement une contrainte d’exclusion r\u00e9ciproque — un budget ou un horaire limit\u00e9 interdisant d’accomplir les deux activit\u00e9s au cours de la m\u00eame soir\u00e9e. En math\u00e9matiques appliqu\u00e9es, l’acceptation de la disjonction est radicalement diff\u00e9rente : la r\u00e9alisation conjointe des deux \u00e9v\u00e9nements n’invalide nullement l’\u00e9nonc\u00e9 global, elle en constitue au contraire l’une des configurations pleinement valides. Ignorer cette subtilit\u00e9 conduit in\u00e9vitablement \u00e0 des contresens m\u00e9thodologiques majeurs lors de l’attribution de poids probabilistes \u00e0 des \u00e9tats de la nature incertains.<\/p>\n La mod\u00e9lisation de l’incertitude dans les syst\u00e8mes d’aide \u00e0 la d\u00e9cision contemporains — qu’il s’agisse de la r\u00e9gulation de r\u00e9acteurs nucl\u00e9aires, de la d\u00e9tection de fraudes bancaires ou du diagnostic assist\u00e9 par ordinateur — repose pr\u00e9cis\u00e9ment sur cette interpr\u00e9tation inclusive. Si un syst\u00e8me d’alarme est programm\u00e9 pour se d\u00e9clencher lorsqu’une surpression hydraulique (\u00e9v\u00e9nement A<\/em>) ou une surchauffe thermique (\u00e9v\u00e9nement B<\/em>) est mesur\u00e9e, l’op\u00e9rateur de s\u00e9curit\u00e9 exige que le dispositif s’active aussi bien si un seul de ces param\u00e8tres franchit le seuil critique que si les deux anomalies surviennent en concomitance exacte. La probabilit\u00e9 de mobilisation du protocole d’urgence correspond donc rigoureusement \u00e0 la mesure probabiliste de cette union inclusive.<\/p>\n Pour conf\u00e9rer \u00e0 cette disjonction une rigueur math\u00e9matique incontestable, il est imp\u00e9ratif d’ancrer le raisonnement au sein de la structure universelle de l’exp\u00e9rience al\u00e9atoire, d\u00e9sign\u00e9e conventionnellement sous le terme d’univers des possibles<\/a> et not\u00e9e Ω (Om\u00e9ga). Cet univers regroupe l’exhaustivit\u00e9 des issues \u00e9l\u00e9mentaires ω, mutuellement exclusives et collectivement exhaustives, susceptibles de r\u00e9sulter de l’exp\u00e9rience consid\u00e9r\u00e9e. Chaque ω ∈ Ω repr\u00e9sente un \u00e9tat fondamental indivisible du syst\u00e8me \u00e9tudi\u00e9.<\/p>\n Dans ce cadre ensembliste, un \u00e9v\u00e9nement al\u00e9atoire individuel n’est rien d’autre qu’un sous-ensemble mesurable de l’univers Ω, c’est-\u00e0-dire un \u00e9l\u00e9ment d’une tribu (ou σ-alg\u00e8bre) construite sur Ω. Ainsi, affirmer que l’\u00e9v\u00e9nement A<\/em> se produit revient \u00e0 stipuler que le r\u00e9sultat effectif de l’exp\u00e9rience ω appartient au sous-ensemble A<\/em> (ω ∈ A<\/em>). De mani\u00e8re parfaitement sym\u00e9trique, l’\u00e9v\u00e9nement B<\/em> se r\u00e9alise si et seulement si ω ∈ B<\/em>. D\u00e8s lors, la disjonction conceptuelle « A ou B » trouve sa traduction g\u00e9om\u00e9trique et ensembliste directe dans la r\u00e9union math\u00e9matique de ces deux sous-ensembles, formalis\u00e9e par A ∪ B<\/em>.<\/p>\n L’\u00e9v\u00e9nement compos\u00e9 r\u00e9sultant regroupe l’ensemble des issues ω qui appartiennent \u00e0 A<\/em>, qui appartiennent \u00e0 B<\/em>, ou qui appartiennent simultan\u00e9ment aux deux ensembles :<\/p>\n A ∪ B = { ω ∈ Ω | ω ∈ A ou ω ∈ B }<\/em><\/p>\n Cette formalisation met en lumi\u00e8re la nature profonde de la mesure de probabilit\u00e9 P<\/em> : une fonctionnelle qui associe \u00e0 chaque sous-ensemble de la tribu un nombre r\u00e9el compris dans l’intervalle ferm\u00e9 [0, 1]. Calculer la probabilit\u00e9 de « A ou B » \u00e9quivaut donc g\u00e9om\u00e9triquement \u00e0 \u00e9valuer la masse probabiliste globale contenue \u00e0 l’int\u00e9rieur de la fronti\u00e8re d\u00e9limit\u00e9e par la r\u00e9union spatiale des r\u00e9gions A<\/em> et B<\/em> au sein du r\u00e9f\u00e9rentiel universel Ω.<\/p>\n La ma\u00eetrise op\u00e9ratoire du calcul de l’union probabiliste transcende largement le cadre des exercices acad\u00e9miques abstraits ; elle constitue le socle quantitatif indispensable \u00e0 la survie op\u00e9rationnelle des syst\u00e8mes complexes. En ing\u00e9nierie de la fiabilit\u00e9 et en analyse quantitative des risques, l’estimation des pannes d’infrastructure d\u00e9pend structurellement de la probabilit\u00e9 de l’union des modes de d\u00e9faillance. Si un r\u00e9seau \u00e9lectrique est consid\u00e9r\u00e9 en rupture d\u00e8s lors qu’une ligne de haute tension c\u00e8de (\u00e9v\u00e9nement A<\/em>) ou qu’un transformateur sous-station disjoncte (\u00e9v\u00e9nement B<\/em>), la r\u00e9silience globale du r\u00e9seau s’appr\u00e9cie imp\u00e9rativement par le calcul de P(A ∪ B)<\/em>. Une sous-estimation de cette valeur engendre des vuln\u00e9rabilit\u00e9s catastrophiques face aux al\u00e9as environnementaux.<\/p>\n En sciences cognitives et en \u00e9conomie comportementale, l’\u00e9tude de l’\u00e9valuation subjective des probabilit\u00e9s d’union \u00e9claire les m\u00e9canismes sous-jacents aux d\u00e9cisions humaines en contexte d’ambigu\u00eft\u00e9. Comme l’ont d\u00e9montr\u00e9 les travaux pionniers d’Amos Tversky et Daniel Kahneman document\u00e9s dans la litt\u00e9rature de la rationalit\u00e9 d\u00e9cisionnelle<\/a>, l’esprit humain traite tr\u00e8s imparfaitement les probabilit\u00e9s disjonctives. Les d\u00e9cideurs non entra\u00een\u00e9s oscillent fr\u00e9quemment entre une sous-estimation syst\u00e9matique de l’union — en n\u00e9gligeant la multiplicit\u00e9 des chemins menant \u00e0 un d\u00e9nouement ind\u00e9sirable — et une surestimation na\u00efve induite par une sommation directe ignorant le recoupement des informations redondantes.<\/p>\n Dans le domaine de la psychom\u00e9trie et du diagnostic cat\u00e9goriel, la mod\u00e9lisation de l’union s’av\u00e8re tout aussi d\u00e9terminante. Lorsqu’un clinicien cherche \u00e0 \u00e9valuer la pr\u00e9valence d’un trouble psychopathologique caract\u00e9ris\u00e9 par la pr\u00e9sence soit d’une anxi\u00e9t\u00e9 g\u00e9n\u00e9ralis\u00e9e invalidante (crit\u00e8re A<\/em>), soit d’un \u00e9pisode d\u00e9pressif majeur caract\u00e9ris\u00e9 (crit\u00e8re B<\/em>), il doit imp\u00e9rativement ma\u00eetriser les lois de probabilit\u00e9 de l’union pour interpr\u00e9ter les scores composites des patients. L’absence d’\u00e9talonnage rigoureux tenant compte des corr\u00e9lations structurelles entre crit\u00e8res conduit in\u00e9vitablement \u00e0 des biais de surdiagnostic ou \u00e0 une allocation inefficiente des ressources th\u00e9rapeutiques au sein des cohortes \u00e9pid\u00e9miologiques.<\/p>\n Dans l’enseignement des math\u00e9matiques \u00e9l\u00e9mentaires, il est courant de voir cohabiter deux registres d’\u00e9criture : la formulation linguistique « P(A ou B) » et la notation formaliste « P(A ∪ B) ». Bien que strictement synonymes dans leur acception probabiliste moderne, le recours au symbole d’union ensembliste ∪ (cup) offre une clart\u00e9 analytique incomparablement sup\u00e9rieure, en \u00e9liminant les ambigu\u00eft\u00e9s polys\u00e9miques propres aux idiomes naturels. L’\u00e9criture P(A ∪ B)<\/em> rappelle explicitement que l’op\u00e9rateur de probabilit\u00e9 s’applique \u00e0 un objet g\u00e9om\u00e9trique abstrait : l’ensemble constitu\u00e9 par l’agr\u00e9gation spatiale de toutes les issues favorables \u00e0 l’une, \u00e0 l’autre, ou aux deux hypoth\u00e8ses.<\/p>\n L’alg\u00e8bre des \u00e9v\u00e9nements h\u00e9rite directement des propri\u00e9t\u00e9s formelles fondamentales de la th\u00e9orie axiomatique des ensembles d\u00e9velopp\u00e9e par Georg Cantor et Ernst Zermelo. Parmi ces propri\u00e9t\u00e9s, la commutativit\u00e9 garantit que l’ordre des \u00e9l\u00e9ments n’alt\u00e8re en rien la probabilit\u00e9 finale du syst\u00e8me :<\/p>\n P(A ∪ B) = P(B ∪ A)<\/em><\/p>\n De m\u00eame, l’associativit\u00e9 permet d’agr\u00e9ger successivement de multiples \u00e9v\u00e9nements sans ambigu\u00eft\u00e9 op\u00e9ratoire quant \u00e0 l’ordre de regroupement des termes :<\/p>\n P((A ∪ B) ∪ C) = P(A ∪ (B ∪ C)) = P(A ∪ B ∪ C)<\/em><\/p>\n Au sens des c\u00e9l\u00e8bres axiomes de Kolmogorov<\/a>, la probabilit\u00e9 est une mesure positive et unitaire, v\u00e9rifiant P(Ω) = 1<\/em> et P(∅) = 0<\/em>. Appliqu\u00e9e aux unions finies ou d\u00e9nombrables, l’axiome d’additivit\u00e9 restreinte stipule que la mesure de la r\u00e9union d’ensembles qui ne partagent aucun \u00e9l\u00e9ment commun doit \u00e9galer rigoureusement la somme des mesures individuelles attribu\u00e9es \u00e0 chacun de ces ensembles. La notation P(A ∪ B)<\/em> constitue donc l’expression syntaxique irr\u00e9ductible de cette mesure d’espace combin\u00e9.<\/p>\n Toute tentative d’\u00e9valuation rigoureuse de la probabilit\u00e9 d’une union n\u00e9cessite l’introduction dialectique de son homologue ensembliste imm\u00e9diat : l’intersection, not\u00e9e symboliquement A ∩ B<\/em> (lue « A inter B » ou formul\u00e9e litt\u00e9ralement « A et B »). Tandis que l’union r\u00e9pond \u00e0 une logique d’ouverture et d’agr\u00e9gation permissive (il suffit qu’un crit\u00e8re soit satisfait pour que l’issue soit retenue), l’intersection proc\u00e8de d’un filtrage hautement restrictif. Elle isole la sous-population des issues ω qui satisfont simultan\u00e9ment, sans exception, les conditions stochastiques impos\u00e9es par A<\/em> et par B<\/em> :<\/p>\n A ∩ B = { ω ∈ Ω | ω ∈ A et ω ∈ B }<\/em><\/p>\n En termes de quantification probabiliste, la valeur scalaire P(A ∩ B)<\/em> traduit pr\u00e9cis\u00e9ment l’ampleur du chevauchement structurel existant entre les deux \u00e9v\u00e9nements au sein de l’univers Ω. Si l’on imagine l’espace probabilis\u00e9 comme une surface finie d’une superficie unitaire \u00e9gale \u00e0 1, P(A ∩ B)<\/em> quantifie la surface de la zone de superposition g\u00e9ographique o\u00f9 les territoires attribu\u00e9s \u00e0 A<\/em> et B<\/em> co\u00efncident parfaitement.<\/p>\n La valeur de l’intersection est assujettie \u00e0 des bornes strictes impos\u00e9es par la monotonie de la mesure de probabilit\u00e9 : elle ne peut en aucun cas exc\u00e9der la probabilit\u00e9 du plus contraignant des deux \u00e9v\u00e9nements sous-jacents, ce qui s’exprime par l’in\u00e9galit\u00e9 fondamentale 0 ≤ P(A ∩ B) ≤ min(P(A), P(B))<\/em>. Lorsque cette mesure s’annule rigoureusement — c’est-\u00e0-dire lorsque P(A ∩ B) = 0<\/em>, ou plus fondamentalement sur le plan topologique lorsque A ∩ B = ∅<\/em> (l’ensemble vide) —, l’intersection est dite nulle, signifiant qu’il existe une incompatibilit\u00e9 ontologique absolue interdisant la cooccurrence des deux ph\u00e9nom\u00e8nes lors d’une m\u00eame exp\u00e9rimentation unitaire.<\/p>\n L’une des confusions les plus dommageables relev\u00e9es dans la pratique statistique concerne la distinction entre l’incompatibilit\u00e9 logique (ou exclusion mutuelle) et l’ind\u00e9pendance stochastique. Il s’agit de deux concepts de nature fondamentalement diff\u00e9rente qui structurent pourtant de concert les formules de calcul de P(A ∪ B)<\/em>. L’incompatibilit\u00e9 rel\u00e8ve d’une impossibilit\u00e9 ensembliste purement g\u00e9om\u00e9trique : deux \u00e9v\u00e9nements sont incompatibles s’ils ne se touchent jamais dans l’espace Ω.<\/p>\n \u00c0 l’inverse, l’ind\u00e9pendance stochastique<\/a> n’est nullement une propri\u00e9t\u00e9 g\u00e9om\u00e9trique d’\u00e9loignement spatial, mais une relation informationnelle : deux \u00e9v\u00e9nements sont ind\u00e9pendants lorsque la survenue de l’un n’alt\u00e8re en rien la probabilit\u00e9 que l’autre se r\u00e9alise. Sur le plan formel, A<\/em> et B<\/em> sont dits stochastiquement ind\u00e9pendants si et seulement si leur intersection v\u00e9rifie le produit de leurs probabilit\u00e9s marginales :<\/p>\n P(A ∩ B) = P(A) × P(B)<\/em><\/p>\n Il d\u00e9coule imm\u00e9diatement de cette d\u00e9finition qu’\u00e0 l’exception des cas triviaux o\u00f9 l’un des \u00e9v\u00e9nements est de probabilit\u00e9 nulle ou certaine, deux \u00e9v\u00e9nements non triviaux ne peuvent jamais<\/em> \u00eatre \u00e0 la fois mutuellement exclusifs et stochastiquement ind\u00e9pendants. En effet, si deux \u00e9v\u00e9nements sont mutuellement exclusifs, l’information selon laquelle A<\/em> s’est produit r\u00e9duit instantan\u00e9ment la probabilit\u00e9 de B<\/em> \u00e0 z\u00e9ro : ils sont donc dans une d\u00e9pendance informationnelle absolue ! Le tableau synoptique suivant permet de clarifier sans ambigu\u00eft\u00e9 les configurations th\u00e9oriques possibles :<\/p>\n1. Introduction aux fondements th\u00e9oriques de la probabilit\u00e9 de l’union<\/h2>\n
1.1 D\u00e9finition conceptuelle de la disjonction d’\u00e9v\u00e9nements<\/h3>\n
1.2 L’espace d’\u00e9chantillonnage et les sous-ensembles<\/h3>\n
1.3 Pertinence m\u00e9thodologique en sciences quantitatives et cognitives<\/h3>\n
2. Notations math\u00e9matiques et formalisme ensembliste : P(A \u222a B)<\/h2>\n
2.1 Formalisme litt\u00e9ral contre formalisme ensembliste<\/h3>\n
2.2 Compr\u00e9hension de l’intersection : P(A \u2229 B)<\/h3>\n
2.3 Typologie des \u00e9v\u00e9nements selon leur relation d’interd\u00e9pendance<\/h3>\n