MA121 Mock Test 1

Name:
Time Allowed: 80 minutes
Total Value: 50 marks
Number of Pages: 5
Instructions:
Non-programmable, non-graphing calculators are permitted. No other aids allowed.
Check that your test paper has no missing, blank, or illegible pages. Note that test questions appear
on both sides of the paper.
Answer in the spaces provided.
Show all your work. Insucient justication will result in a loss of marks.
If you would like some personal feedback on your work by having it graded, then submit your
completed mock test paper to Tina Balfour by Monday June 9th at 10:00am.
(BA432; you can slide your paper under my oce door if I dont happen to be in when you drop by.)
1. [6 marks] Let A = a; b; c; e, B = 3; c; c ; c; d, C = 1; 2; 3; a; c; d and D = 1; c.
(a) How many elements does the set B have?
(b) State a subset of C which contains exactly three elements.
(c) Determine: (A' B ' C) (A D)
(d) Determine: AC
1
2. [4 marks] If A = x R [ x < 3 and B = x R [ 2 _ x < 8, determine
(a) A' B
(b) A x N [ 2 _ x < 8.
3. [3 marks] For each of the following, state which, if any, of the statements are correct:
A B B A A _ B B _ A A = B
(a) A = 1; 2 B = 1; 2; 1; 2
(b) A = ?; ?; ? B = ? ; ?; ?
(c) A = 3 B = 2n + 1 : n N
4. [3 marks] Consider the statement: (p . q) ~ (p . r)
(a) Give the converse of the statement.
(b) Give the contrapositive of the original statement.
(c) Give the contrapositive of the converse of the original statement.
2
5. [2 marks] Let p, q, r be statements, and let A be a statement
in terms of p, q, r that has the truth values in the
table shown to the right:
p q r A
T T T T
T T F F
T F T T
T F F F
F T T F
F T F T
F F T F
F F F F
State the disjunctive normal form for statement A.
6. [3 marks] Determine if the statement p . (q (~ r p)) is a tautology.
7. [5 marks] Consider the statement: \x,

(x _ 2) .

x
2
+ 4x 5 ,= 0

.
(a) Negate the statement, and simplify.
(b) Determine the truth value of the original statement, given that the universe of discourse is R.
3
8. [14 marks] Prove or disprove each of the following. State the method of proof used.
(a) For every two sets A and B, (A' B) B = A.
(b) If A and B are disjoint nonempty subsets, then AB
c
= ?.
(c) Let x Z. Then 3x + 1 is even if and only if 5x 2 is odd.
(d) Let n Z. If n
2
+ n + 1 < 0, then n is an odd integer.
4
9. [5 marks] Let a be an irrational number and r be a nonzero rational number.
Prove that if s is a real number, then either ar + s or ar s is irrational.
10. [5 marks] Prove by induction: For all natural numbers n, 1 +
1
4
+
1
9
+ +
1
n
2
_ 2
1
n
.
5