Lecture 5 - Exercises
Part A - Complement, Venn
diagrams

In the Venn diagram above,
Let \(U\) = \(\{x : x \in \mathbb{N} \text{ and } x \le
20\}\) be the contents of the rectangular box.
Let \(A = \{x : x \in U \text{ and } x
\text{ is odd}\}\) be the contents of the left circle.
Let \(B = \{x : x \in U \text{ and } x >
10\}\) be the contents of the right circle.
List the contents of each of the following, and draw a picture of a
Venn diagram with the area corresponding to that set shaded (no need to
list the set elements in your diagrams).
- \(A \cup B\)
- \(A - B\)
- \(\overline{B}\)
- \(\overline{(A \cup B) - (A \cap
B)}\)
Consider the following two Venn diagrams, which depict 3 sets, \(A\), \(B\), and \(C\):


Write an expression corresponding to the shaded area in:
- The left diagram
- The right diagram
Part B - Statements
Decide whether or not each of the following is a statement. If it is
a statement, say if it is true or false, if possible. 1. Every real
number is an even integer.
2. Sets \(\mathbb{Z}\) and \(\mathbb{N}\) are infinite. 3. Either \(x\) is a multiple of \(8\), or it is not. 4. If the integer \(a\) is a multiple of 6, then the integer
\(a\) is even. 5. \(x\) is a multiple of 8
Part C - Logical
Operators (and, or, not)
Let:
- \(N =\) True
- \(P =\) True
- \(Q =\) False
- \(S =\) True
and evaluate the following statements. You may find it helpful to
draw a truth table for the more complicated expressions:
- \(N \land P\)
- \(Q \land S\)
- \(Q \lor N\)
- \(\neg P\)
- \(P \land (Q \lor S)\)
- \(N \land P \land Q\)
- \(\neg N \lor \neg Q\)
- \((N \lor P) \land \neg(Q \land
S)\)
Part D -
Conditional and Biconditional Statements
- Give the truth value of each of the following conditional
statements:
- If the moon is made of green cheese, then 1 = 2.
- If 1 = 1, then the moon is made of green cheese.
- If 1 = 1, then 30 = 30.
- If 1 = 1, then 30 = 12.
- If 1 = 2, then 30 = 30.
- If 1 = 2, then 30 = 10.
- Without changing their meanings, convert each of the following
sentences into a sentence having the form “If P, then Q”:
- Whenever people agree with me I feel I must be wrong.
- An integer is divisible by 8 only if it is divisible by 4.
- You fail only if you stop writing.
- Fill out a truth table with the following five columns:
- \(P\)
- \(Q\)
- \(P\Rightarrow Q\)
- \(Q\Rightarrow P\)
- \(P \Leftrightarrow Q\)