Exercise 1.4

Let A and B be sets of real numbers. Write the negation of each of the following statements:

(a)
For every a A, it is true that a2 B.
(b)
For at least one a A, it is true that a2 B.
(c)
For every a A, it is true that a2B.
(d)
For at least one aA, it is true that a2 B.

Answers

These are all basic logical negations using existential quantifiers:

(a) There is an a A where a2B.

(b) For every a A, a2B.

(c) There is an a A where a2 B.

(d) For every aA, a2B.

User profile picture
2019-12-01 00:00
Comments