Skip to main content
\(\newcommand{\versionNum}{$4.0$\ } \renewcommand{\tabcolsep}{2.4pt} \def\savedlnot{\lnot} \renewcommand{\arraystretch}{.63} \renewcommand{\arraystretch}{1} \renewcommand{\Naturals}{{\mathbb Z}^{\mbox{\tiny noneg}} } \renewcommand{\arraystretch}{.9} \renewcommand{\arraystretch}{.77} \newcommand{\hint}[1]{ } \newcommand{\inlinehint}[1]{ } \newcommand{\sageprompt}{ \texttt{sage$>$} } \newcommand{\tab}{} \newcommand{\blnk}{\rule{.4pt}{1.2pt}\rule{9pt}{.4pt}\rule{.4pt}{1.2pt}} \newcommand{\suchthat}{\; \;} \newcommand{\divides}{\!\mid\!} \newcommand{\tdiv}{\; \mbox{div} \;} \newcommand{\restrict}[2]{#1 \,_{\,#2}} \newcommand{\lcm}[2]{\mbox{lcm} (#1, #2)} \renewcommand{\gcd}[2]{\mbox{gcd} (#1, #2)} \newcommand{\Naturals}{{\mathbb N}} \newcommand{\Integers}{{\mathbb Z}} \newcommand{\Znoneg}{{\mathbb Z}^{\mbox{\tiny noneg}}} \newcommand{\Zplus}{{\mathbb N}} \newcommand{\Enoneg}{{\mathbb E}^{\mbox{\tiny noneg}}} \newcommand{\Qnoneg}{{\mathbb Q}^{\mbox{\tiny noneg}}} \newcommand{\Rnoneg}{{\mathbb R}^{\mbox{\tiny noneg}}} \newcommand{\Rationals}{{\mathbb Q}} \newcommand{\Reals}{{\mathbb R}} \newcommand{\Complexes}{{\mathbb C}} \newcommand{\relQ}{\mbox{\textsf Q}} \newcommand{\relR}{\mbox{\textsf R}} \newcommand{\nrelR}{\mbox{$\not${\textsf R}}} \newcommand{\relS}{\mbox{\textsf S}} \newcommand{\relA}{\mbox{\textsf A}} \newcommand{\Dom}[1]{\mbox{Dom}(#1)} \newcommand{\Cod}[1]{\mbox{Cod}(#1)} \newcommand{\Rng}[1]{\mbox{Rng}(#1)} \DeclareMathOperator{\caret}{$\scriptstyle\wedge$} \renewcommand{\arraystretch}{.77} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section1.3More scary notation

It is often the case that we want to prove statements that assert something is true for every element of a set. For example, “Every number has an additive inverse.” You should note that the truth of that statement is relative, it depends on what is meant by “number.” If we are talking about natural numbers it is clearly false: 3's additive inverse isn't in the set under consideration. If we are talking about integers or any of the other sets we've considered, the statement is true. A statement that begins with the English words “every” or “all” is called universally quantified. It is asserted that the statement holds for everything within some universe. It is probably clear that when we are making statements asserting that a thing has an additive inverse, we are not discussing human beings or animals or articles of clothing — we are talking about objects that it is reasonable to add together: numbers of one sort or another. When being careful — and we should always strive to be careful! — it is important to make explicit what universe (known as the universe of discourse) the objects we are discussing come from. Furthermore, we need to distinguish between statements that assert that everything in the universe of discourse has some property, and statements that say something about a few (or even just one) of the elements of our universe. Statements of the latter sort are called existentially quantified.

Adding to the glossary or translation lexicon we started earlier, there are symbols which describe both these types of quantification. The symbol \(\forall\), an upside-down A, is used for universal quantification, and is usually translated as “for all.” The symbol \(\exists\), a backwards E, is used for existential quantification, it's translated as “there is” or “there exists.” Lets have a look at a mathematically precise sentence that captures the meaning of the one with which we started this section. \begin{equation*} \forall x \in \Integers, \; \exists y \in \Integers, \; x+y=0. \end{equation*}

Parsing this as we have done before with an English translation in parallel, we get:

\(\forall x\) \(\in \Integers\) \(\exists y\)
For every number \(x\) in the set of integers there is a number \(y\)
\(\in \Integers\) \(x+y=0\)
in the integers having the property that their sum is \(0\).
Exercise1.3.1

Which type of quantification do the following statements have?

  1. Every dog has his day.

  2. Some days it's just not worth getting out of bed.

  3. There's a party in somebody's dorm this Saturday.

  4. There's someone for everyone.

A couple of the examples in the exercise above actually have two quantifiers in them. When there are two or more (different) quantifiers in a sentence you have to be careful about keeping their order straight. The following two sentences contain all the same elements except that the words that indicate quantification have been switched. Do they have the same meaning?

For every student in James Woods High School, there is some item of cafeteria food that they like to eat.
There is some item of cafeteria food that every student in James Woods High School likes to eat.

Subsection1.3.1Exercises

  1. How many quantifiers (and what sorts) are in the following sentence? “Everybody has some friend that thinks they know everything about a sport.” \hint{Four.}

  2. The sentence “Every metallic element is a solid at room temperature.” is false. Why? \hint{The chemical symbol for an element that is an exception is Hg which stands for "Hydro-argyrum" it is also known as "liquid silver" or "quick silver".}

  3. The sentence “For every pair of (distinct) real numbers there is another real number between them.” is true. Why? \hint{Think about this: is there any way to (using a formula) find a number that lies in between two other numbers?}

  4. Write your own sentences containing four quantifiers. One sentence in which the quantifiers appear (\(\forall \exists \forall \exists\)) and another in which they appear (\(\exists \forall \exists \forall\)). \hint{You're on your own here. Be inventive!}