CSC 248 Spring 2023 SOLUTIONS Page 1 of 1

Quiz 2
Name:

1. Translate these statements into English, where R(x) is “x is a rabbit” and H(x) is “x hops” and the
domain consists of all animals.
(a) ∀x(R(x) → H(x))

Solution: All rabbits hop.

2. Determine the truth value of each of these statements if the domain for all variables consists of all integers.
(a) ∃n∃m(n + m = 4 ∧ n − m = 1)

Solution: False

3. Let m, n, and p be integers. Prove that if m + n and n + p are even, then m + p is even.

Solution:
Proof. Let m, n, and p be integers and suppose that m + n and n + p are even.
Then, by the definition of even, there exist integers k and l where m + n = 2k and n + p = 2l.
So, m + p = (2k − n) + (2l − n) = 2(k + l − n) which, by the definition of even, is even.

4. Let m and n be integers. Prove that if mn is even, then m is even or n is even.

Solution:
Proof. (by contraposition)
Let m and n be integers and suppose that m and n are odd. Then, there exist integers k and l such
that m = 2k + 1 and n = 2l + 1.
So, mn = (2k + 1)(2l + 1) = (4kl + 2k + 2l + 1) = 2(2kl + k + l) + 1 which is odd by the definition of
odd.