Homework #4

Exercise Set 3.1 3,4 (a)(c),10, 12, 24, 25

3.(a)

(b) R(m; n) is also false when m = 8 and n = 4 because 8 is a factor of 42 = 16, but 8 is not a factor of 4.

False statement

(c)

(d) When m=3 and n=9

For example, R(3,9). 3 I 92 =81 and 9 can be divided by 3.

Other values can be m=2 n =6 Or m=6 and n=2

True Statements

4. (a)

(c)

1
Masimba MaronderaINFO-C201

10.
Let a = 1, and note that (a-1)/a = 0 is an integer.
Or let a = -1, and (a – 1)/a = 2 is an integer.

12.
Let x = 1, y = 1, and √𝑥𝑥 + 𝑦𝑦 = √2 whereas √𝑥𝑥 + √𝑦𝑦 = 2 and √2 ≠ 2.

24.
(a) ∃ a hatter x such that x is mad.
∃x such that x is a hatter and x is mad.

(b) ∃ a question x such that x is easy.

∃x such that x is a question and x is easy.

25.
(a) ∀ nonzero fractions x, the reciprocal of x is a fraction.
∀x, if x is a nonzero fraction, then the reciprocal of x is a fraction.

(b) ∀ polynomial functions x, the derivative of x is a polynomial function.

∀x, if x is a polynomial function, then the derivative of x is a polynomial function.

(c) ∀ triangles x, the sum of the angles of x is 180◦.

∀x, if x is a triangle, then the sum of the angles of x is 180◦.

(d) ∀ irrational numbers x, the negative of x is irrational.

∀ x, if x is an irrational number, then the negative of x is irrational.

(e) ∀ even integers x and y, the sum of x and y is even.

∀x and y, if x and y are even integers, then the sum of x and y is even.

(f) ∀ fractions x and y, the product of x and y is a fraction.

∀ x and y, if x and y are fractions then the product of x and y is a fraction.

2
Masimba MaronderaINFO-C201

Exercise Set 3.2 2, 3, 6, 10, 17, 21, 27, 31,46,48

(a) 2. c. ∃ dog x such that x is disloyal.

and f ∃ dog x such that x is disloyal.

3.
(a)

(b)

(c)

(d)

6.
(a) Sets A and B have at least one point in common.

(b) There is a road on the map that connects towns P and Q.

Or formally: ∃ a road r on the map such that r connects towns P and Q.
Or Equivalently : Towns P and Q are connected by at least one road on the map.
3
Masimba MaronderaINFO-C201

10. ∃ a computer program P such that P compiles without error messages but P is not correct.

17. ∃ an integer d such that 6/d is an integer and d ≠ 3:

21. ∃ an integer n such that n is divisible by 6 and n is not divisible by 2 or n is not divisible by 3.

27.
Converse: ∀ integers d, if d = 3 then 6/d is an integer. True
Inverse: ∀ integers d, if 6/d is not an integer, then d ≠ 3: True
Contrapositive: ∀ integers d, if d ≠ 3 then 6/d is not an integer. False

The converse and inverse of the statement are both true, but both the statement and its contrapositive are
false. For example, when d = 2, then d ≠ 3 but 6/d = 3 is an integer.

31.
Converse: ∀ integers n, if n is divisible by 2 and n is divisible by 3, then n is divisible by 6.
This statement is True.

Inverse: ∀ integers n, if n is not divisible by 6., then n is not divisible by 2 or n is not divisible by 3: This
statement is True.

Contrapositive: ∀ integers n, if n is not divisible by 2 or n is not divisible by 3, then n is not divisible by 6.

A statement and it's contrapositive are equivalent and hence, their truth values are same.

The statement, its contrapositive, the converse, and the inverse are all true.

46.

48.