# Mutually exclusive and exhaustive

A set of propositions is “mutually exclusive and exhaustive” when exactly one of the propositions must be true. For example, of the two propositions “The sky is blue” and “It is not the case that the sky is blue”, exactly one of those must be the case. Therefore, the probabilities of those propositions must sum to exactly 1.

If a set $$X$$ of propositions is “mutually exclusive”, this states that for every two distinct propositions, the probability that both of them will be true simultaneously is zero:

$$\forall i: \forall j: i \neq j \implies \mathbb{P}(X_i \wedge X_j) = 0.$$

This implies that for every two distinct propositions, the probability of their union equals the sum of their probabilities:

$$\mathbb{P}(X_i \vee X_j) = \mathbb{P}(X_i) + \mathbb{P}(X_j) - \mathbb{P}(X_j \wedge X_j) = \mathbb{P}(X_i) + \mathbb{P}(X_j).$$

The “exhaustivity” condition states that the union of all propositions in $$X,$$ has probability $$1$$ (the probability of at least one $$X_i$$ happening is $$1$$):

$$\mathbb{P}(X_1 \vee X_2 \vee \dots \vee X_N) = 1.$$

Therefore mutual exclusivity and exhaustivity imply that the probabilities of the propositions sum to 1:

$$\displaystyle \sum_i \mathbb{P}(X_i) = 1.$$

Parents:

• Probability theory

The logic of science; coherence relations on quantitative degrees of belief.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}