T2 Solution
T2 Solution
Question 1.
(a) For any two consecutive integers, one must be odd and another must be even.
Let 2m and 2n + 1 be the two consecutive integers for some integers m and n.
Then, their product is 2m(2n + 1) = 2[m(2n + 1)], which is even.
Question 3. The errors occur in steps 3, 4, 5 and 6. From step 2, for any element c in the domain, there can
be two possible cases that
Thus, due to Case 2, we can only say in step 3 that c is an element in the domain such that P (c) is true,
but cannot say that c is any element in the domain. Then, we cannot conclude in step 4 that P (x) is true for
all element x in the domain.
Similarly, due to Case 1, we can only say in step 5 that c is an element in the domain such that Q(c) is
true, but cannot say that c is any element in the domain. Then, we cannot conclude in step 6 that Q(x) is
true for all element x in the domain.
Take this example for your easier understanding. Consider the domain {a, b}. Assume P (a) and Q(b) are
true while P (b) and Q(a) are false. We can find that step 1 and step 2 are valid. However, step 3 and step 4
are invalid because P (b) is false. Similarly, step 5 and step 6 are also invalid because Q(a) is false. Hence, step
7 that relies on step 4 and step 6 is also invalid.
1
Question 4. There are two possible cases:
(a) We need to consider the two cases that “x is odd” is true or false:
2
Question 6.
(b) Suppose, for the sake of contradiction, that a is rational, ab is irrational, and b is also rational.
x1 x2
Therefore, a = and b = for some integers x1 , x2 , y1 > 0, y2 > 0 .
y1 y2
x1 x2
Then, ab = is rational, which contradicts that ab is irrational.
y1 y2
Question 7.