rel="nofollow" href="#fb3_img_img_0638b014-fd22-5a76-a30a-d56eaaee1339.jpg"/>)(∃y ∈
4. (∃y ∈
5. (∀x ∈
6. (∃y ∈
7. (∀y ∈
8. (∀x ∈
Remarks. When translating an English sentence into logical symbols, always place a quantifier before the statement it governs. English sentences have various ways of expressing quantifiers. For example, consider the sentence: “Any rational number can be expressed as a fraction whose numerator is an integer and whose denominator is a natural number.” This sentence can be written symbolically as follows:
The statement
Exercises (1.6) Write each of the following using quantifiers and symbols. In Exercises 9 and 10, the symbol ε is pronounced “epsilon,” with the accent on the first syllable and all vowels short. The symbol δ is pronounced “delta.”
1. For all integers x and y, the numbers xy and yx are equal.
2. Given any real number x, there exists a natural number n such that x < n.
3. Given any real number x, there exists a natural number y such that x + y = 0.
4. Given any nonnegative real number x, there exists a natural number y such that y2 = x.
5. Given any nonzero real number x, there exists a natural number y such that xy = 1.
6. There exists a smallest natural number.
7. There is no largest integer.
8. Given any two distinct real numbers, some rational number lies strictly between them.
9. Given any positive real number ε, there exists a natural number k such that
10. For each real number ε, if ε > 0 then there exists a positive real number δ such that for each real number x, if |x – 2| < δ then |x2 – 4| < ε.
Negating quantified statements. Let A be a set, and for each x ∈ A let p(x) be a statement.
Consider statement (a) below.
(a) ¬(∀x ∈ A)(p(x))
It is false that for all x in A, p(x) is true.
This statement is equivalent to the following.
(b) (∃x ∈ A)(¬p(x))
There is at least one x in A for which p(x) is false.
Similarly, statements (c) and (d) are equivalent
(c) ¬(∃x ∈ A)(p(x))
It is false that there is at least one x in A for which p(x) is true.
(d) (∀x ∈ A)(¬p(x))
For all x in A, p(x) is false.
Here is a method for negating quantified sentences. Starting at the beginning of the sentence, change each ∀ to ∃ and each ∃ to ∀. Then negate the proposition governed by the quantifier. In verbal sentences, the phrase “such that” is part of the quantifier “there exists.” In negating sentences, when we change “there exists” to “for all,” the phrase “such that” vanishes with “there exists.” When we change “for all” to “there exists,” the phrase “such that” appears with “there exists.”
Examples (1.8)
1. Statement: (∀x ∈
For each x ∈
Negation: (∃x ∈
There exists x ∈
Remark. The symbol ∈ plays two different roles in the sentence (∀x ∈