To construct the states of nature, W, start with an exhaustive set of
propositions of states L= {p1,...,pk}
let xi in {p1, !p1}
Consider C = the set of all x1 /\ ... /\ xk
Weed out all inconsistent propositions. The remainder is the states of
nature, W.
Note that w1 \/ .. \/ wn = true.