Review final-FA2024
Review final-FA2024
1. Let A = {1, 2}, B = {a, b, c, d}, and C = {1, a, b}. Use the roster method to list all of
the elements of each of the following sets:
4. Let d be the function that associates with each natural number the number of its natural
number divisors. That is, d : N → N where d(n) is the number of natural number divisors
of n. For example, d(6) = 4, since 1, 2, 3, and 6 are the natural number divisors of 6.
(a) Calculate d(k) for each natural number k from 1 through 6.
(b) Does there exist a natural number n such that d(n) = 1? What is the set of
preimages of the natural number 1?
(c) Does there exist a natural number n such that d(n) = 2? If so, determine the set of
all preimages of the natural number 2.
(d) Is the following statement true or false? Justify your conclusion.
For all m, n ∈ N, if m ̸= n, then d(m) ̸= d(n).
(e) Calculate d(2k ) for k = 0 and for each natural number k from 1 through 6.
(f) Base on your work in Part (e), make a conjecture for a formula for d(2n ) where n is
a nonnegative integer. Then explain why your conjecture is correct.
(g) Is the following statement true or false?
For each n ∈ N, there exists a natural number m such that d(m) = n.
(h) Is the function d(n) injective?
(i) Is the function d(n) surjective?
3
5. Consider f : R → (0, ∞) defined by f (x) = ex
(a) Is f one-to-one? Justify your answer.
(b) Is f onto? Justify your answer.
(c) Is f invertible? If so, find its inverse.
6. Let p, q, and r be statements. Construct the truth table of the logical expression
¬p → ¬(q ∨ r)
11. Show, using a proof by the contrapositive, that if the product of two positive real numbers
is greater than 100, then at least one of the numbers is greater than 10.
12. Show, using a proof by contradiction, that for any integer n, n2 − 2 is not divisible by 4.
13. Consider the sequence a1 , a2 , a3 , . . . defined by
Page 2
14. Show, using the Principle of Mathematical Induction, that for any natural number n,
n(n + 1)(2n + 1)
12 + 22 + 32 + · · · + n2 = .
6
Page 3
(a) gcd(1001, 1331) (b) gcd(1000, 5040)
(a) 3 (b) 5
Page 4