2.5: Quantified Statements
- Page ID
- 19371
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)All of the statements discussed in the previous sections were of the “completely unambiguous” sort; that is, they didn’t have any unknowns in them. As a reader of this text, it’s a sure bet that you’ve mastered Algebra and are firmly convinced of the utility of \(x\) and \(y\). Admittedly, we’ve used variables to refer to sentences (or sentence fragments) themselves, but we’ve said that sentences that had variables in them were ambiguous and didn’t even deserve to be called logical statements. The notion of quantification allows us to use the power of variables within a sentence without introducing ambiguity.
Consider the sentence “There are exactly \(7\) odd primes less than \(20\).” This sentence has some kind of ambiguity in it (because it doesn’t mention the primes explicitly) and yet it certainly seems to have a definite truth value! The reason its truth value is known (by the way, it is \(\text{T}\)) is that the sentence is quantified. “\(\text{X}\) is an odd prime less than \(20\).” is an ambiguous sentence, but “There are exactly \(7\) distinct’s that are odd primes less than \(20\).” is not. This example represents a fairly unusual form of quantification. Usually, we take away the ambiguity of a sentence having a variable in it by asserting one of two levels of quantification: “this is true at least once” or “this is always true”. We’ve actually seen the symbols (\(∃\) and \(∀\)) for these concepts already (in Section 1.3).
An open sentence is one that has variables in it. We represent open sentences using a sort of functional notation to show what variables are in them.
- \(P(x) =\) “\(2^{2^x} + 1\) is a prime.”
- \(Q(x, y) =\) “\(x\) is prime or \(y\) is a divisor of \(x\).”
- \(L(f, c, l) =\) “The function \(f\) has limit \(l\) at \(c\), if and only if, for every positive number \(\epsilon\), there is a positive number \(δ\) such that whenever \(|x − c| < δ\) it follows that \(|f(x) − l| < \epsilon\).”
That last example certainly is a doozey! At first glance, it would appear to have more than three variables in it, and indeed it does! In order of appearance, we have \(f\), \(l\), \(c\), \(\epsilon\), \(δ\) and \(x\) – the last three variables that appear (\(\epsilon\), \(δ\) and \(x\)) are said to be bound. A variable in an open sentence is bound if it is in the scope of a quantifier. Bound variables don’t need to be mentioned in the argument list of the sentence. Unfortunately, when sentences are given in natural languages the quantification status of a variable may not be clear. For example in the third sentence above, the variable \(δ\) is easily seen to be in the scope of the quantifier \(∃\) because of the words “there is a positive number” that precede it. Similarly, \(\epsilon\) is universally quantified (\(∀\)) because the phrase “for every positive number” appears before it. What is the status of \(x\)? Is it really bound? The answers to such questions may not be clear at first, but after some thought you should be able to decide that \(x\) is universally quantified.
What word in example iii) indicates that \(x\) is in the scope of a \(∀\) quantifier?
It is not uncommon, in advanced Mathematics, to encounter compound sentences involving dozens of variables and \(4\) or \(5\) levels of quantification. Such sentences seem hopelessly complicated at first sight – the key to understanding them is to determine each variable’s quantification status explicitly and to break things down into simpler sub-parts.
For instance, in understanding example iii) above, it might be useful to define some new open sentences:
\[D(x, c, δ) = “|x − c| < δ”\]
\[E(f, x, l, \epsilon) = “|f(x) − l| < \epsilon”\]
Furthermore, it’s often handy to replace an awkward phrase (such as “the limit of f at c is l”) with symbols when possible.
Example iii) now looks like
\[\lim_{x→c} f(x) = l \iff ∀ \epsilon > 0 ∃δ > 0 ∀x D(x, c, δ) \implies E(f, x, l, \epsilon).\]
The sentence \(D(x, c, δ)\) is usually interpreted as saying that “\(x\) is close to \(c\)” (where \(δ\) tells you how close.) The sentence \(E(f, x, l, \epsilon)\) could be expressed informally as “\(f(x)\) is close to \(l\)” (again, \(\epsilon\) serves to make the word “close” more exact).
It’s instructive to write this sentence one last time, completely in symbols and without the abbreviations we created for saying that \(x\) is near \(c\) and \(f(x)\) is near \(l\):
\[\lim_{x→c} f(x) = l \iff ∀\epsilon > 0 ∃δ > 0 ∀x (|x − c| < δ) \implies (|f(x) − l| < \epsilon).\]
It would not be unfair to say that developing the facility to read, and understand, this hieroglyph (and others like it) constitutes the first several weeks of a course in Real Analysis.
Let us turn back to another of the examples (of an open sentence) from the beginning of this section. \(P(x) = “2^{2^x} + 1\) is a prime.”
In the \(17^{\text{th}}\) century, Pierre de Fermat made the conjecture1 that \(∀x ∈ \mathbb{N}, P(x)\). No doubt, this seemed reasonable to Fermat because the numbers given by this formula (they are called Fermat numbers in his honor) are all primes – at first! Fermat numbers are conventionally denoted with a subscripted letter \(F\), \(F_n = 2^{2^n} + 1\), the first five Fermat numbers are prime.
\[\begin{array} F_0 &= 2^{2^0} + 1 = 3 \\ F_1 &= 2^{2^1} + 1 = 5 \\ F_2 &= 2^{2^2} + 1 = 17 \\ F_3 &= 2^{2^3} + 1 = 25 \\ 7 F_4 &= 2^{2^4} + 1 = 65537 \end{array}\]
Fermat probably computed that \(F_5 = 4294967297\), and we can well imagine that he checked that this number was not divisible by any small primes. Of course, this was well before the development of effective computing machinery, so we shouldn’t blame Fermat for not noticing that \(4294967297 = 641 · 6700417\). This remarkable feat of factoring can be replicated in seconds on a modern computer, however it was done first by Leonhard Euler in \(1732\)! There is quite a lot of literature concerning the primeness and/or compositeness of Fermat numbers. So far, all the Fermat numbers between \(F_5\) and \(F_{32}\) (inclusive) have been shown to be composite. One might be tempted to conjecture that only the first five Fermat numbers are prime, however this temptation should be resisted . . .
Let us set aside, for the moment, further questions about Fermat numbers. Suppose we define the set \(U\) (for ‘Universe’) by \(U = \{0, 1, 2, 3, 4\}\). Then the assertion, “\(∀x ∈ U, P(x)\).” is certainly true. You should note that the only variable in this sentence is \(x\), and that the variable is bound – it is universally quantified. Open sentences that have all variables bound are statements. It is possible (in principle, and in finite universes, in practice) to check the truth value of such sentences. Indeed, the sentence “\(∀x ∈ U, P(x)\)” has the same logical content as “\(P(0) ∧ P(1) ∧ P(2) ∧ P(3) ∧ P(4)\)”. Both happen to be true, but the real point here is to note that a universally quantified sentence can be thought of instead as a conjunction.
Define a new set \(U\) by \(U = \{0, 1, 2, 3, 4, 5\}\). Write a sentence using disjunctions that is equivalent to “\((∃x ∈ U,¬P(x)\).”
Even when we are dealing with infinite universes, it is possible to think of universally quantified sentences in terms of conjunctions, and existentially quantified sentences in terms of disjunctions. For example, a quick look at the graphs should be sufficient to convince you that “\(x > \ln x\)” is a sentence that is true for all \(x\) values in \(\mathbb{R}^+\). There is a notation, reminiscent of so-called sigma notation for sums, that can be used to express this universally quantified sentence as a conjunction.
\[∀x ∈ \mathbb{R}^+, x > \ln x \cong \bigwedge_{x∈ \mathbb{R}^+} x > \ln x\]
A similar notation exists for disjunctions. Purely as an example, consider the following problem from recreational math: Find a four digit number that is an integer multiple of its reversal. (By reversal, we mean the four digit number with the digits in the opposite order – for example, the reversal of \(1234\) is \(4321\).) The sentence2 that states that this question has a solution is
\[∃abcd ∈ \mathbb{Z}, ∃k ∈ \mathbb{Z}, abcd = k · dcba\]
This could be expressed instead as the disjunction of \(9000\) statements, or more compactly as
\[\bigvee_{1000≤abcd≤9999} ∃k ∈ \mathbb{Z}, abcd = k · dcba.\]
The existential statement above is true because \(8712 = 4 · 2178\). There is one other solution – find it!
An important, or at least useful, talent for a Mathematics student to develop is the ability to negate quantified sentences. There are two major reasons for this: the techniques known as proof by contradiction and proof by contraposition. The contrapositive of a conditional sentence is logically equivalent to it. Many veteran proofwriters give newcomers the advice:
“If you get stuck, try writing down the contrapositive.”
Writing down the contrapositive of a logical statement will often involve finding the negation of a quantified sentence. Proof by contradiction also requires you to be able to negate a logical statement in order to even get started. Let’s try one.
Our universe of discourse3 will be \(P = \{\text{Manny, Moe, Jack}\}\). Consider the sentence “\(∀x ∈ P\), \(x\) starts with \(M\).” The equivalent sentence expressed conjunctively is
\((\text{Manny starts with M})∧ \\ (\text{Moe starts with M})∧ \\ (\text{Jack starts with M}).\)
The negation of this sentence (by DeMorgan’s law) is a disjunction:
\((\text{Manny doesn’t start with M})∨ \\ (\text{Moe doesn’t start with M})∨ \\ (\text{Jack doesn’t start with M})\)
Finally, this disjunction of three sentences can be converted into a single sentence, existentially quantified over \(P\):
“\(∃x ∈ P\), \(¬\)(\(x\) starts with \(M\)).”
The discussion in the previous paragraphs justifies some laws of Logic which should be thought of as generalizations of DeMorgan’s laws:
\[¬(∀x ∈ U, P(x)) \cong ∃x ∈ U,¬P(x)\]
and
\[¬(∃x ∈ U, P(x)) ∼\cong∀x ∈ U,¬P(x).\]
It’s equally valid to think of these rules in a way that’s divorced from DeMorgan’s laws. To show that a universal sentence is false, it suffices to show that an existential sentence involving a negation of the original is true.
If someone announces that “All the Pep boys name’s start with \(\text{M}\)!” you might counter that with “Uhhmmm. . .What about Jack?”
In other words, to show that it is not the case that every Pep boy’s name starts with ‘\(\text{M}\)’, one only needs to demonstrate that there is a Pep boy (Jack) whose name doesn’t start with ‘\(\text{M}\)’.
Exercises:
There is a common variant of the existential quantifier, \(∃!\), if you write \(∃! x\), \(P(x)\) you are asserting that there is a unique element in the universe that makes \(P(x)\) true. Determine how to negate the sentence \(∃! x\), \(P(x)\).
The order in which quantifiers appear is important. Let \(L(x, y)\) be the open sentence “\(x\) is in love with \(y\).” Discuss the meanings of the following quantified statements and find their negations.
- ∀x ∃y L(x, y).
- ∃x ∀y L(x, y).
- ∀x ∀y L(x, y).
- ∃x ∃y L(x, y).
Determine a useful denial of:
\(∀ \epsilon > 0 ∃δ > 0 ∀x (|x − c| < δ) \implies (|f(x) − l| < \epsilon).\)
The denial above gives a criterion for saying \(\lim_{x→c} f(x) \neq l\)
A Sophie Germain prime is a prime number p such that the corresponding odd number \(2p + 1\) is also a prime. For example, \(11\) is a Sophie Germain prime since \(23 = 2 · 11 + 1\) is also prime. Almost all Sophie Germain primes are congruent to \(5\) (\(\text{mod } 6\)), nevertheless, there are exceptions – so the statement “There are Sophie Germain primes that are not \(5 \text{ mod } 6\).” is true. Verify this.
Alvin, Betty, and Charlie enter a cafeteria which offers three different entrees, turkey sandwich, veggie burger, and pizza; four different beverages, soda, water, coffee, and milk; and two types of desserts, pie and pudding. Alvin takes a turkey sandwich, a soda, and a pie. Betty takes a veggie burger, a soda, and a pie. Charlie takes a pizza and a soda. Based on this information, determine whether the following statements are true or false.
- \(∀\) people \(p\), \(∃\) dessert \(d\) such that \(p\) took \(d\).
- \(∃\) person \(p\) such that \(∀\) desserts \(d\), \(p\) did not take \(d\).
- \(∀\) entrees \(e\), \(∃\) person \(p\) such that \(p\) took \(e\).
- \(∃\) entree \(e\) such that \(∀\) people \(p\), \(p\) took \(e\).
- \(∀\) people \(p\), \(p\) took a dessert \(\iff p\) did not take a pizza.
- Change one word of statement 5d so that it becomes true.
- Write down the negation of 5a and compare it to statement 5b. Hopefully you will see that they are the same! Does this make you want to modify one or both of your answers to 5a and 5b?