So far we have discussed only the truth sets assigned to compound statements involving ∨, ∧, and ¬. All the other connectives can be defined in terms of these three basic ones, so that we can deduce what truth sets should be assigned to them. For example, we know that p → q is equivalent to ¬p ∨ q (see Figure ??). Hence the truth set of p → q is the same as the truth set of ¬p∨q, that is, it is ˜ P∪Q. The Venn diagram for p → q is shown in Figure , where the shaded area is the truth set for the.
