MATH FOUNDATION INFORMATICS: 15032

Homework 5
Exercise Set 3.3

2.

10.

12.
(c) Negation: ∃ x in D such that ∀ y in E; such that xy < y. The statement is true. The negation is false.

(d) Negation: ∀ x in D, ∃ y in E such that x>y. the statement is true. The negation is false.

17.
a: Every rational number is equal to a ratio of some two integers
.
b. Negation: There is at least one rational number that is not equal to a ratio of any two integers.

Or:

∃𝑟 ∈ 𝑄 such that ∀𝑎 ∈ 𝑍 and ∀𝑏 ∈ 𝑍, 𝑟 ≠ 𝑎/𝑏: or equivalently, there exists a rational number that
cannot be written as the division of two integers

19.
a: There is a real number whose sum with any real number equals zero.

b. Negation: : ∀ x ∈ R, ∃ Given any real number x, there is a real number y such that x + y ≠ 0:

or Equivalently: For all real numbers, there exists a real number that is not additive inverse

23.
a. Given any nonzero real number, a real number can be found so that the product of the two
equals 1. This is true: every nonzero real number has a reciprocal. Or multiplicative inverse

1
Masimba Marondera SP20: MATH FOUNDATION INFORMATICS: 15032

35.
(a) ∀ people a, ∃ a person b such that a trusts b.

(b) Negation: ∃ a person a such that ∀ people b, a does not trust b

In other words, there is someone who does not trust anyone.

37.
(a) ∀ even integers n, ∃ an integer k such that n = 2k.

(b) Negation:

∃ an even integer n such that ∀ integers k, n ≠ 2k.

60.

2
Masimba Marondera SP20: MATH FOUNDATION INFORMATICS: 15032

Exercise Set 3.4

6. This computer program is not correct.

11.Converse Error: Invalid

14. invalid by inverse error

19.
c. valid, universal modus tollens

d. invalid, Inverse error

22

3
Masimba Marondera SP20: MATH FOUNDATION INFORMATICS: 15032

4
Masimba Marondera SP20: MATH FOUNDATION INFORMATICS: 15032

24.

5
Masimba Marondera SP20: MATH FOUNDATION INFORMATICS: 15032

26..

29.

2, 3, 1