The Law of Total Probability

Let be mutually exclusive and exhaustive events. Then for any other event ,

\begin{proof}

  • Because the ‘s are mutually exclusive and exhaustive,
    • then if occurs, it must be in conjunction with exactly one of the ‘s.
  • That is, ,
    • where the events are mutually exclusive.
  • This “partitioning of ” is illustrated in Figure 2.11.

Figure 2.11 Partition of by mutually exclusive and exhaustive ‘s

Thus

as desired. \end{proof}