The truth sets of two propositions p and q are shown in Figure . Also marked on the diagram are the various logical possibilities for these two statements. The reader should pick out in this diagram the truth sets of the statements p ∨ q, p ∧ q, ¬p, and ¬q. The connection between a statement and its truth set makes it pos- sible to “translate” a problem about compound statements into a prob- lem about sets. It is also possible to go in the reverse direction. Given a problem about sets, think of the universal set as being a set of logical possibilities and think of a.
