This question deals with the properties of possible worlds, defined on page 488 as assignments to all random variables. We will work with propositions that correspond to exactly one possible world because they pin down the assignments of all the variables. In probability theory, such propositions are called atomic events. For example, with Boolean variables X1, X2, X3, the proposition x1 ∧ ¬x2 ∧ ¬x3 fixes the assignment of the variables; in the language of propositional logic, we would say it has exactly one model.

a. Prove, for the case of n Boolean variables, that any two distinct atomic events are mutually exclusive; that is, their conjunction is equivalent to false.

b. Prove that the disjunction of all possible atomic events is logically equivalent to true.

c. Prove that any proposition is logically equivalent to the disjunction of the atomic events that entail its truth.