Mutually exclusive and exhaustive

https://arbital.com/p/exclusive_exhaustive

by Eliezer Yudkowsky Jan 26 2016 updated Apr 26 2016

The condition needed for probabilities to sum to 1


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 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:

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

The "exhaustivity" condition states that the union of all propositions in has probability (the probability of at least one happening is ):

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