Work sheet
Work sheet
1. Which of the following sentences are propositions? Determine the truth value whenever
possible?
a) 123 is a prime number. b) x + y is a real number
c) Every integer is a real number d) Hillary clinton will be the next president of USA.
e) Bring me a glass of water f) The sum of two odd numbers is even
g) Bonga is in Ethiopia h) I am determined to score A in Math1011
3. Determine whether the following pairs of propositions are logically equivalent or not? use
truth table to decide.
a) p ⇒ (q ∨ r) and ¬q ⇒ (¬p ∨ r) b) (p ∧ q) ⇔ p and p ⇒ q
c) (p ∨ q) ⇒ r and (p ⇒ q) ∧ (q ⇒ r) d) p ⇒ (q ⇒ r) and (p ∧ q) ⇒ r
5. If the truth value of (p ∧ ¬q) ⇒ r is False, then what is the truth value of p, q and r
7. Write the converse, contra-positive and the inverse of the following conditional statements.
a) If it is cold, then the lake is frozen.
b) If Solomon is healthy, then he is happy.
c) If it rains, Tigist does not take a walk.
8. Suppose that the statements p, q, r and s are assigned the truth values T, F, F and T
respectively. Find the truth value of each of the following statements.
a) (p ∨ r) ⇔ (r ∧ ¬s) b) (s ⇔ p) ⇒ (¬p ∨ s)
c) (r ∧ s) ⇒ (¬q ∨ s) d) (p ∨ ¬q) ∨ r ⇒ (s ∧ ¬s)
9. Suppose the value of p ⇒ ¬q is False. What can be said about the truth value of
(¬p ∧ p) ⇔ (p ∨ q)?
1
10. Suppose the truth value of p ⇔ q is True, what can be said about the truth values of
p ⇔ ¬q and ¬p ⇔ q?
11. In each of the following, two open statements P (x, y) and Q(x, y) are given, where the
domain of both x and y is Z. Determine the truth value of P (x, y) ⇒ Q(x, y) for the given
values of x and y.
a) P (x, y) : x2 + y 2 = 0 and Q(x, y) : x = y. (x, y) ∈ {(1, −1), (3, 4), (5, 5)}
b) P (x, y) : |x| = |y| and Q(x, y) : x = y.(x, y) ∈ {(1, 2), (2, −2), (6, 6)}
c) P (x, y) : x2 + y 2 = 1 and Q(x, y) : x + y = 1.(x, y) ∈ {(1, −1), (−3, 4), (0, −1), (1, 0)}
14. Consider the quantified statement: For each x ∈ A and y ∈ A, xy − 2 is prime, where the
domain of the variables x and y is A = {3, 5, 11}.
a) Express this quantified statement in symbols.
b) Is the quantified statement in (a) true or false? Explain.
c) Express the negation of the quantified statement in (a) in symbols.
d) Is the negation of the quantified in (a) true or false? Explain.
15. Determine whether the following argument form are valid or invalid?
a) ¬p ⇒ ¬q, q ` p b) p ⇒ ¬p, p, r ⇒ q ` ¬r
c) ¬p ⇒ (q ∧ r), ¬q ∨ ¬r ` ¬p d) p ⇒ q, r ⇒ p, ¬q ` ¬r
17. Find the truth value of each of the following and justify your conclusion.
a) ∅ ⊆ ∅ b) {2, 3} ⊂ {2, 3} c) ∅ ∈ A for ant set A
d) ∅ ∈ {{∅}} e) 4, 5 ⊆ {4, 5, 6, 7} f) {∅} = ∅
18. List all the subsets, proper subsets and power set of the following sets
a) {xy} b) {x, y} c) {x, 0.75, y}
2
19. How many elements does A contain if it has:
a) 64 subsets? b) 31 proper subsets? c) No proper subset? d) 255 proper subsets?
23. Suppose B ⊆ A and A ∪ B = {2, 3, 4, 5} and A ∩ B = {1, 2, 3, 4, 5, 6}, then find A and B.
25. For any two sets A and B of a universal set U, prove that
a) A4B = B4A b) A4B = (A ∪ B) − (A ∩ B) c) A4A = ∅
26. Among 200 students, 65 take Mathematics, 45 take English and 30 take both Mathematics
and English. Then find the number of students who:
a) do not take Mathematics
b) do not take English
c) take Mathematics or English
d) take Mathematics, but not English
e) take exactly one of the two subject
f) take neither Mathematics nor English