Skip to main content

Section 1.1 Statements and Conditional Statements

Beginning Activity Beginning Activity 1: Statements

Much of our work in mathematics deals with statements. In mathematics, a statement is a declarative sentence that must have a definite truth value, either true or false but not both. A statement is sometimes called a proposition. The key is that there must be no ambiguity. To be a statement, a sentence must be true or false, and it cannot be both. So a sentence such as “The sky is beautiful” is not a statement since whether the sentence is true or not is a matter of opinion. A question such as “Is it raining?” is not a statement because it is a question and is not declaring or asserting that something is true.

Some sentences that are mathematical in nature often are not statements because we may not know precisely what a variable represents. For example, the equation \(2x + 5 = 10\) is not a statement since we do not know what \(x\) represents. If we substitute a specific value for \(x\) (such as \(x = 3\)), then the resulting equation, \(2 \cdot 3 + 5 = 10\) is a statement (which is a false statement).

Which of the following sentences are statements? Do not worry about determining the truth value of those that are statements; just determine whether each sentence is a statement or not.

1.

\(3 \cdot 4 + 7 = 19\text{.}\)

2.

\(3 \cdot 5 + 7 = 19\text{.}\)

3.

\(3x + 7 = 19\text{.}\)

4.

There exists an integer \(x\) such that \(3x + 7 = 19\text{.}\)

5.

The derivative of \(f(x) = \sin x\) is \(f'(x) = \cos x\text{.}\)

6.

Does the equation \(3x^2 - 5x - 7 = 0\) have two real number solutions?

Beginning Activity Beginning Activity 2: Conditional Statements

Given statements \(P\) and \(Q\text{,}\) a statement of the form “If \(P\) then \(Q\)” is called a conditional statement. It seems reasonable that the truth value (true or false) of the conditional statement “If \(P\) then \(Q\)” depends on the truth values of \(P\) and \(Q\text{.}\) The statement “If \(P\) then \(Q\)” means that \(Q\) must be true whenever \(P\) is true. The statement \(P\) is called the hypothesis of the conditional statement, and the statement \(Q\) is called the conclusion of the conditional statement. We will now explore some examples.

1.

“If it is raining, then Laura is at the theater.” Under what conditions is this conditional statement false? For example,

(a)

Is it false if it is raining and Laura is at the theater?

(b)

Is it false if it is raining and Laura is not at the theater?

(c)

Is it false if it is not raining and Laura is at the theater?

(d)

Is it false if it is not raining and Laura is not at the theater?

2.

Identify the hypothesis and the conclusion for each of the following conditional statements.

(a)

If \(x\) is a positive real number, then \(\sqrt{x}\) is a positive real number.

(b)

If \(\sqrt{x}\) is not a real number, then \(x\) is a negative real number.

(c)

If the lengths of the diagonals of a parallelogram are equal, then the parallelogram is a rectangle.

Subsection Statements

As we saw in Beginning Activity 1, some sentences that are mathematical in nature often are not statements because we may not know precisely what a variable represents. Following are some more examples

  • There exists a real number \(x\) such that \(x+7 = 10\text{.}\)

    This is a statement because either such a real number exists or such a real number does not exist. In this case, this is a true statement since such a real number does exist, namely \(x = 3\text{.}\)

  • For each real number \(x\text{,}\) \(2x + 5 = 2\left(x + \dfrac{5}{2} \right)\text{.}\)

    This is a statement since either the sentence \(2x + 5 = 2\left(x + \dfrac{5}{2} \right)\) is true when any real number is substituted for \(x\) (in which case, the statement is true) or there is at least one real number that can be substituted for \(x\) and produce a false statement (in which case, the statement is false). In this case, the given statement is true.

  • Solve the equation \(x^2 - 7x + 10 = 0\text{.}\)

    This is not a statement since it is a directive. It does not assert that something is true.

  • \((a + b)^2 = a^2 + b^2\) is not a statement since it is not known what \(a\) and \(b\) represent. However, the sentence, “There exist real numbers \(a\) and \(b\) such that \((a + b)^2 = a^2 + b^2\)” is a statement. In fact, this is a true statement since there are such integers. For example, if \(a = 1\) and \(b = 0\text{,}\) then \((a + b)^2 = a^2 + b^2\text{.}\)

  • Compare the statement in the previous item to the statement, “For all real numbers \(a\) and \(b\text{,}\) \((a + b)^2 = a^2 + b^2\text{.}\)” This is a false statement since there are values for \(a\) and \(b\) for which \((a + b)^2 \ne a^2 + b^2\text{.}\) For example, if \(a = 2\) and \(b = 3\text{,}\) then \((a + b)^2 = 5^2 = 25\) and \(a^2 + b^2 = 2^2 + 3^2 = 13\)

Progress Check 1.1. Statements.

Which of the following sentences are statements? Do not worry about determining the truth value of those that are statements; just determine whether each sentence is a statement or not.

(a)

\(2 \cdot 7 + 8 = 22\text{.}\)

Solution.

This is a statement.

(b)

\(2x + 5y = 7\text{.}\)

Solution.

This is not a statement.

(c)

There are integers \(x\) and \(y\) such that \(2x + 5y = 7\text{.}\)

Solution.

This is a statement.

(d)

Given a line \(L\) and a point \(P\) not on that line and in the same plane, there is a unique line in that plane through \(P\) that does not intersect \(L\text{.}\)

Solution.

This is a statement.

(e)

\(\left( {a + b} \right)^3 = a^3 + 3a^2b + 3ab^2 + b^3\text{.}\)

Solution.

This is not a statement.

(f)

For all real numbers \(a\) and \(b\text{,}\) \(\left( {a + b} \right)^3 = a^3 + 3a^2b + 3ab^2 + b^3\text{.}\)

Solution.

This is a statement.

(g)

Does the equation \(3x^2 - 5x - 7 = 0\) have two real number solutions?

Solution.

This is not a statement.

(h)

If \(ABC\) is a right triangle with right angle at vertex \(B\text{,}\) and if \(D\) is the midpoint of the hypotenuse, then the line segment connecting vertex \(B\) to \(D\) is half the length of the hypotenuse.

Solution.

This is a statement.

(i)

There do not exist three integers \(x\text{,}\) \(y\text{,}\) and \(z\) such that \(x^3 + y^3 = z^3\text{.}\)

Solution.

This is a statement.

Subsection How Do We Decide If a Statement Is True or False?

In mathematics, we often establish that a statement is true by writing a mathematical proof. To establish that a statement is false, we often find a so-called counterexample. (These ideas will be explored later in this chapter.) So mathematicians must be able to discover and construct proofs. In addition, once the discovery has been made, the mathematician must be able to communicate this discovery to others who speak the language of mathematics. We will be dealing with these ideas throughout the text.

For now, we want to focus on what happens before we start a proof. One thing that mathematicians often do is to make a conjecture beforehand as to whether the statement is true or false. This is often done through exploration. The role of exploration in mathematics is often difficult because the goal is not to find a specific answer but simply to investigate. Following are some techniques of exploration that might be helpful.

Subsubsection Techniques of Exploration

  • Guesswork and conjectures.

    Formulate and write down questions and conjectures. When we make a guess in mathematics, we usually call it a conjecture.

  • Examples.

    Constructing appropriate examples is extremely important. Exploration often requires looking at lots of examples. In this way, we can gather information that provides evidence that a statement is true, or we might find an example that shows the statement is false. This type of example is called a counterexample.

    For example, if someone makes the conjecture that \(\sin \! \left(2x \right) = 2 \sin (x)\text{,}\) for all real numbers \(x\text{,}\) we can test this conjecture by substituting specific values for \(x\text{.}\) One way to do this is to choose values of \(x\) for which \(\sin (x)\) is known. Using \(x = \dfrac{\pi}{4}\text{,}\) we see that

    \begin{equation*} \begin{aligned}\sin \! \left( 2 \left( \frac{\pi}{4} \right) \right) \amp = \sin \left(\frac{\pi}{2}\right) = 1, \text{ and } \\ 2 \sin \left(\frac{\pi}{4}\right) \amp = 2 \left( \frac{\sqrt{2}}{2} \right) = \sqrt{2}. \end{aligned} \end{equation*}

    Since \(1 \ne \sqrt{2}\text{,}\) these calculations show that this conjecture is false. However, if we do not find a counterexample for a conjecture, we usually cannot claim the conjecture is true. The best we can say is that our examples indicate the conjecture is true. As an example, consider the conjecture that

    If \(x\) and \(y\) are odd integers, then \(x + y\) is an even integer.
    We can do lots of calculations, such as \(3 + 7 = 10\) and \(5 + 11 = 16\text{,}\) and find that every time we add two odd integers, the sum is an even integer. However, it is not possible to test every pair of odd integers, and so we can only say that the conjecture appears to be true. (We will prove that this statement is true in the next section.)

  • Use of prior knowledge.

    This also is very important. We cannot start from square one every time we explore a statement. We must make use of our acquired mathematical knowledge. For the conjecture that \(\sin\left(2x \right) = 2 \sin (x)\text{,}\) for all real numbers \(x\text{,}\) we might recall that there are trigonometric identities called “double angle identities.” We may even remember the correct identity for \(\sin\left( 2x \right)\text{,}\) but if we do not, we can always look it up. We should recall (or find) that

    \begin{equation*} \text{ for all real numbers } x, \sin \! \left( 2x \right) = 2 \sin (x) \! \cos (x)\text{.} \end{equation*}

    We could use this identity to argue that the conjecture “for all real numbers \(x\text{,}\) \(\sin (2x) = 2 \sin(x)\)” is false, but if we do, it is still a good idea to give a specific counterexample as we did before.

  • Cooperation and brainstorming.

    Working together is often more fruitful than working alone. When we work with someone else, we can compare notes and articulate our ideas. Thinking out loud is often a useful brainstorming method that helps generate new ideas.

Progress Check 1.2. Explorations.

Use the techniques of exploration to investigate each of the following statements. Can you make a conjecture as to whether the statement is true or false? Can you determine whether it is true or false?

(a)

\(\left(a+b \right)^2=a^2+b^2\text{,}\) for all real numbers \(a\) and \(b\text{.}\)

Solution.

This proposition is false. A counterexample is \(a = 2\) and \(b = 1\text{.}\) For these values, \(\left( {a + b} \right)^2 = 9\) and \(a^2 + b^2 = 5\text{.}\)

(b)

There are integers \(x\) and \(y\) such that \(2x+5y=41\text{.}\)

Solution.

This proposition is true, as we can see by using \(x = 3\) and \(y = 7\text{.}\) We could also use \(x = -2\) and \(y = 9\text{.}\) There are many other possible choices for \(x\) and \(y\text{.}\)

(c)

If \(x\) is an even integer, then \(x^2\) is an even integer.

Solution.

This proposition appears to be true. Anytime we use an example where \(x\) is an even integer, the number \(x^2\) is an even integer. However, we cannot claim that this is true based on examples since we cannot list all of the examples where \(x\) is an even integer.

(d)

If \(x\) and \(y\) are odd integers, then \(x \cdot y\) is an odd integer.

Solution.

This proposition appears to be true. Anytime we use an example where \(x\) and \(y\) are both odd integers, the number \(x \cdot y\) is an odd integer. However, we cannot claim that this is true based on examples since we cannot list all of the examples where both \(x\) and \(y\) are odd integers.

Subsection Conditional Statements

We had our first encounter with conditional statements in Beginning Activity 2. Since conditional statements are the most important type of statement in mathematics, we give a more formal definition.

Definition.

A conditional statement is a statement that can be written in the form “If \(P\) then \(Q\text{,}\)” where \(P\) and \(Q\) are sentences. For this conditional statement, \(P\) is called the hypothesis and \(Q\) is called the conclusion.

Intuitively, “If \(P\) then \(Q\)” means that \(Q\) must be true whenever \(P\) is true. Because conditional statements are used so often, a symbolic shorthand notation is used to represent the conditional statement “If \(P\) then \(Q\text{.}\)” We will use the notation \(P \to Q\) to represent “If \(P\) then \(Q\text{.}\)” When \(P\) and \(Q\) are statements, it seems reasonable that the truth value (true or false) of the conditional statement \(P \to Q\) depends on the truth values of \(P\) and \(Q\text{.}\) There are four cases to consider:

  • \(P\) is true and \(Q\) is true.

  • \(P\) is true and \(Q\) is false.

  • \(P\) is false and \(Q\) is true.

  • \(P\) is false and \(Q\) is false.

The conditional statement \(P \to Q\) means that \(Q\) is true whenever \(P\) is true. It says nothing about the truth value of \(Q\) when \(P\) is false. Using this as a guide, we define the conditional statement \(P \to Q\) to be false only when \(P\) is true and \(Q\) is false, that is, only when the hypothesis is true and the conclusion is false. In all other cases, \(P \to Q\) is true. This is summarized in Table 1.3, which is called a truth table for the conditional statement \(P \to Q\text{.}\) (In Table 1.3, T stands for “true” and F stands for “false.” )

Table 1.3. Truth Table for \(P \to Q\)
\(P\) \(Q\) \(P \to Q\)
T T T
T F F
F T T
F F T

The important thing to remember is that the conditional statement \(P~\to~Q\) has its own truth value. It is either true or false (and not both). Its truth value depends on the truth values for \(P\) and \(Q\text{,}\) but some find it a bit puzzling that the conditional statement is considered to be true when the hypothesis \(P\) is false. We will provide a justification for this through the use of an example.

Example 1.4.

Suppose that I say

If it is not raining, then Daisy is riding her bike.
We can represent this conditional statement as \(P \to Q\) where \(P\) is the statement, “It is not raining” and \(Q\) is the statement, “Daisy is riding her bike.”

Although it is not a perfect analogy, think of the statement \(P \to Q\) as being false to mean that I lied and think of the statement \(P \to Q\) as being true to mean that I did not lie. We will now check the truth value of \(P \to Q\) based on the truth values of \(P\) and \(Q\text{.}\)

  1. Suppose that both \(P\) and \(Q\) are true. That is, it is not raining and Daisy is riding her bike. In this case, it seems reasonable to say that I told the truth and that \(P \to Q\) is true.

  2. Suppose that \(P\) is true and \(Q\) is false or that it is not raining and Daisy is not riding her bike. It would appear that by making the statement, “If it is not raining, then Daisy is riding her bike,” I have not told the truth. So in this case, the statement \(P \to Q\) is false.

  3. Now suppose that \(P\) is false and \(Q\) is true or that it is raining and Daisy is riding her bike. Did I make a false statement by stating that if it is not raining, then Daisy is riding her bike? The key is that I did not make any statement about what would happen if it was raining, and so I did not tell a lie. So we consider the conditional statement, “If it is not raining, then Daisy is riding her bike,” to be true in the case where it is raining and Daisy is riding her bike.

  4. Finally, suppose that both \(P\) and \(Q\) are false. That is, it is raining and Daisy is not riding her bike. As in the previous situation, since my statement was \(P \to Q\text{,}\) I made no claim about what would happen if it was raining, and so I did not tell a lie. So the statement \(P \to Q\) cannot be false in this case and so we consider it to be true.

Progress Check 1.5. Explorations with Conditional Statements.

(a)

Consider the following sentence:

If \(x\) is a positive real number, then \(x^2 + 8x\) is a positive real number.
Although the hypothesis and conclusion of this conditional sentence are not statements, the conditional sentence itself can be considered to be a statement as long as we know what possible numbers may be used for the variable \(x\text{.}\) From the context of this sentence, it seems that we can substitute any positive real number for \(x\text{.}\) We can also substitute 0 for \(x\) or a negative real number for \(x\) provided that we are willing to work with a false hypothesis in the conditional statement. (In Chapter 2, we will learn how to be more careful and precise with these types of conditional statements.)

(i)

Notice that if \(x = -3\text{,}\) then \(x^2 + 8x = -15\text{,}\) which is negative. Does this mean that the given conditional statement is false?

Solution.

This does not mean the conditional statement is false since when \(x = -3\text{,}\) the hypothesis is false, and the only time a conditional statement is false is when the hypothesis is true and the conclusion is false.

(ii)

Notice that if \(x = 4\text{,}\) then \(x^2 + 8x = 48\text{,}\) which is positive. Does this mean that the given conditional statement is true?

Solution.

This does not mean the conditional statment is true since we have not checked all positive real numbers, only the one where \(x = 4\text{.}\)

(iii)

Do you think this conditional statement is true or false? Record the results for at least five different examples where the hypothesis of this conditional statement is true.

Solution.

All examples should indicate that the conditional statement is true.

(b)

“If \(n\) is a positive integer, then \((n^2-n+41)\) is a prime number.” (Remember that a prime number is a positive integer greater than 1 whose only positive factors are 1 and itself.) To explore whether or not this statement is true, try using (and recording your results) for \(n=1\text{,}\) \(n=2\text{,}\) \(n=3\text{,}\) \(n=4\text{,}\) \(n=5\text{,}\) and \(n=10\text{.}\) Then record the results for at least four other values of \(n\text{.}\) Does this conditional statement appear to be true?

Solution.

The number \(\left( n^2 - n + 41 \right)\) will be a prime number for all examples of \(n\) that are less than 41. However, when \(n = 41\text{,}\) we get

\begin{align*} n^2 - n + 41 \amp = 41^2 - 41 + 41\\ n^2 - n + 41 \amp = 41^2 \end{align*}

So in the case where \(n = 41\text{,}\) the hypothesis is true (41 is a positive integer) and the conclusion is false \(\left( {41^2 \text{ is not prime } } \right)\text{.}\) Therefore, 41 is a counterexample that shows the conditional statement is false. There are other counterexamples (such as \(n = 42\text{,}\) \(n = 45\text{,}\) and \(n = 50\)), but only one counterexample is needed to prove that the statement is false.

Subsection Further Remarks about Conditional Statements

  1. The conventions for the truth value of conditional statements may seem a bit strange, especially the fact that the conditional statement is true when the hypothesis of the conditional statement is false. The following example is meant to show that this makes sense.

    Suppose that Ed has exactly $52 in his wallet. The following four statements will use the four possible truth combinations for the hypothesis and conclusion of a conditional statement.

    • If Ed has exactly $52 in his wallet, then he has at least $20 in his wallet. This is a true statement. Notice that both the hypothesis and the conclusion are true.

    • If Ed has exactly $52 in his wallet, then he has $100 in his wallet. This statement is false. Notice that the hypothesis is true and the conclusion is false.

    • If Ed has $100 in his wallet, then he has at least $50 in his wallet. This statement is true regardless of how much money he has in his wallet. In this case, the hypothesis is false and the conclusion is true.

    • If Ed has $100 in his wallet, then he has at least $80 in his wallet. This statement is true regardless of how much money he has in his wallet. In this case, the hypothesis is false and the conclusion is false.

    This is admittedly a contrived example but it does illustrate that the conventions for the truth value of a conditional statement make sense. The message is that in order to be complete in mathematics, we need to have conventions about when a conditional statement is true and when it is false.

  2. The fact that there is only one case when a conditional statement is false often provides a method to show that a given conditional statement is false. In Task 1.5.b, you were asked if you thought the following conditional statement was true or false.

    If \(n\) is a positive integer, then \(\left( {n^2 - n + 41} \right)\) is a prime number.
    For many values of \(n\text{,}\) \(\left( {n^2 - n + 41} \right)\) turns out to be a prime number. However, if we try \(n = 41\text{,}\) we get

    \begin{align*} n^2 - n + 41 \amp = 41^2 - 41 + 41\\ n^2 - n + 41 \amp = 41^2 \text{.} \end{align*}

    So in the case where \(n = 41\text{,}\) the hypothesis is true (41 is a positive integer) and the conclusion is false (\(41^2\) is not prime). Therefore, 41 is a counterexample for this conjecture and the conditional statement is false. There are other counterexamples (such as \(n = 42\text{,}\) \(n = 45\text{,}\) and \(n = 50\)), but only one counterexample is needed to prove that the statement is false.

  3. Although one example can be used to prove that a conditional statement is false, in most cases, we cannot use examples to prove that a conditional statement is true. For example, in Progress Check 1.5, we substituted values for \(x\) for the conditional statement “If \(x\) is a positive real number, then \(x^2 + 8x\) is a positive real number.” For every positive real number used for \(x\text{,}\) we saw that \(x^2 + 8x\) was positive. However, this does not prove the conditional statement to be true because it is impossible to substitute every positive real number for \(x\text{.}\) So, although we may believe this statement is true, to be able to conclude it is true, we need to write a mathematical proof. Methods of proof will be discussed in Section 1.2 and Chapter 3.

Progress Check 1.6. Working with a Conditional Statement.

Sometimes, we must be aware of conventions that are being used. In most calculus texts, the convention is that any function has a domain and a range that are subsets of the real numbers. In addition, when we say something like “the function \(f\) is differentiable at \(a\)”, it is understood that \(a\) is a real number. With these conventions, the following statement is a true statement, which is proven in many calculus texts.

If the function \(f\) is differentiable at \(a\text{,}\) then the function \(f\) is continuous at \(a\text{.}\)
Using only this true statement, is it possible to make a conclusion about the function in each of the following cases?

(a)

It is known that the function \(f\text{,}\) where \(f(x) = \sin x\text{,}\) is differentiable at 0.

Solution.

We can conclude that this function is continuous at 0.

(b)

It is known that the function \(f\text{,}\) where \(f(x) = \sqrt[3]{x}\text{,}\) is not differentiable at 0.

Solution.

We can make no conclusion about this function from the theorem.

(c)

It is known that the function \(f\text{,}\) where \(f(x) = \left| x \right|\text{,}\) is continuous at 0.

Solution.

We can make no conclusion about this function from the theorem.

(d)

It is known that the function \(f\text{,}\) where \(f(x) = \dfrac{{\left| x \right|}}{x}\text{,}\) is not continuous at 0.

Solution.

We can conclude that this function is not differentiable at 0.

Subsection Closure Properties of Number Systems

The primary number system used in algebra and calculus is the real number system. We usually use the symbol \(\mathbb{R}\) to stand for the set of all real numbers. The real numbers consist of the rational numbers and the irrational numbers. The rational numbers are those real numbers that can be written as a quotient of two integers (with a nonzero denominator), and the irrational numbers are those real numbers that cannot be written as a quotient of two integers. That is, a rational number can be written in the form of a fraction, and an irrational number cannot be written in the form of a fraction. Some common irrational numbers are \(\sqrt{2}\text{,}\) \(\pi\text{,}\) and \(e\text{.}\) We usually use the symbol \(\mathbb{Q}\) to represent the set of all rational numbers. (The letter \(\mathbb{Q}\) is used because rational numbers are quotients of integers.) There is no standard symbol for the set of all irrational numbers.

Perhaps the most basic number system used in mathematics is the set of natural numbers. The natural numbers consist of the positive whole numbers such as 1, 2, 3, 107, and 203. We will use the symbol \(\N\) to stand for the set of natural numbers. Another basic number system that we will be working with is the set of integers. The integers consist of zero, the natural numbers, and the negatives of the natural numbers. If \(n\) is an integer, we can write \(n = \dfrac{n}{1}\text{.}\) So each integer is a rational number and hence also a real number.

We will use the letter \(\mathbb{Z}\) to stand for the set of integers. (The letter \(\mathbb{Z}\) is from the German word, Zahlen, for numbers.) Three of the basic properties of the integers are that the set \(\mathbb{Z}\) is closed under addition, the set \(\mathbb{Z}\) is closed under multiplication, and the set of integers is closed under subtraction. This means that

  • If \(x\) and \(y\) are integers, then \(x + y\) is an integer;

  • If \(x\) and \(y\) are integers, then \(x \cdot y\) is an integer; and

  • If \(x\) and \(y\) are integers, then \(x - y\) is an integer.

Notice that these so-called closure properties are defined in terms of conditional statements. This means that if we can find one instance where the hypothesis is true and the conclusion is false, then the conditional statement is false.

Example 1.7. Closure.

In order for the set of natural numbers to be closed under subtraction, the following conditional statement would have to be true: If \(x\) and \(y\) are natural numbers, then \(x - y\) is a natural number. However, since 5 and 8 are natural numbers, \(5 - 8 = -3\text{,}\) which is not a natural number, this conditional statement is false. Therefore, the set of natural numbers is not closed under subtraction.

We can use the rules for multiplying fractions and the closure rules for the integers to show that the rational numbers are closed under multiplication. If \(\dfrac{a}{b}\) and \(\dfrac{c}{d}\) are rational numbers (so \(a\text{,}\) \(b\text{,}\) \(c\text{,}\) and \(d\) are integers and \(b\) and \(d\) are not zero), then

\begin{equation*} \frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd}\text{.} \end{equation*}

Since the integers are closed under multiplication, we know that \(ac\) and \(bd\) are integers and since \(b \ne 0\) and \(d \ne 0\text{,}\) \(bd \ne 0\text{.}\) So \(\dfrac{ac}{bd}\) is a rational number and this shows that the rational numbers are closed under multiplication.

Progress Check 1.8.

Answer each of the following questions.

(a)

Is the set of rational numbers closed under addition? Explain.

Solution.

The set of rational numbers is closed under addition since \(\dfrac{a}{b} + \dfrac{c}{d} = \dfrac{ad+bc}{bd}\text{.}\)

(b)

Is the set of integers closed under division? Explain.

Solution.

The set of integers is not closed under division. For example, \(\dfrac{2}{3}\) is not an integer.

(c)

Is the set of rational numbers closed under subtraction? Explain.

Solution.

The set of rational numbers is closed under subtraction since \(\dfrac{a}{b} - \dfrac{c}{d} = \dfrac{ad-bc}{bd}\text{.}\)

Exercises Exercises

1.

Which of the following sentences are statements?

(a)

\(3^2 + 4^2 = 5^2\text{.}\)

Answer.

This is a statement.

(b)

\(a^2 + b^2 = c^2\text{.}\)

Answer.

This is not a statement.

(c)

There exist integers \(a\text{,}\) \(b\text{,}\) and \(c\) such that \(a^2 = b^2 + c^2\text{.}\)

Answer.

This is a statement.

(d)

If \(x^2 = 4\text{,}\) then \(x = 2\text{.}\)

Answer.

This is not a statement.

(e)

For each real number \(x\text{,}\) if \(x^2 = 4\text{,}\) then \(x = 2\text{.}\)

Answer.

This is a statement.

(f)

For each real number \(t\text{,}\) \(\sin ^2 t + \cos ^2 t = 1\text{.}\)

Answer.

This is a statement.

(g)

\(\sin x \lt \sin \! \left( {\dfrac{\pi }{4}} \right)\text{.}\)

Answer.

This is not a statement.

(h)

If \(n\) is a prime number, then \(n^2\) has three positive factors.

Answer.

This is a statement if we are assuming that \(n\) is a prime number means that \(n\) is a natural number.

(i)

\(1 + \tan ^2 \theta = \sec ^2 \theta\text{.}\)

Answer.

This is not a statement.

(j)

Every rectangle is a parallelogram.

Answer.

This is a statement.

(k)

Every even natural number greater than or equal to 4 is the sum of two prime numbers.

Answer.

This is a statement.

2.

Identify the hypothesis and the conclusion for each of the following conditional statements.

(a)

If \(n\) is a prime number, then \(n^2\) has three positive factors.

Answer.

Hypothesis: \(n\) is a prime number.

Conclusion: \(n^2\) has three positive divisors.

(b)

If \(a\) is an irrational number and \(b\) is an irrational number, then \(a \cdot b\) is an irrational number.

Answer.

Hypothesis: \(a\) is an irrational number and \(b\) is an irrational number.

Conclusion: \(a \cdot b\) is an irrational number.

(c)

If \(p\) is a prime number, then \(p = 2\) or \(p\) is an odd number.

Answer.

Hypothesis: \(p\) is a prime number

Conclusion: \(p = 2\) or \(p\) is an odd number.

(d)

If \(p\) is a prime number and \(p \ne 2\text{,}\) then \(p\) is an odd number.

Answer.

Hypothesis: \(p\) is a prime number and \(p \ne 2\text{.}\)

Conclusion: \(p\) is an odd number.

(e)

If \(p \ne 2\) and \(p\) is an even number, then \(p\) is not prime.

Answer.

Hypothesis: \(p \ne 2\) and \(p\) is an even number.

Conclusion: \(p\) is not prime.

3.

Determine whether each of the following conditional statements is true or false.

(a)

If \(10 \lt 7\text{,}\) then \(3 = 4\text{.}\)

Answer.

This statement is true.

(b)

If \(7 \lt 10\text{,}\) then \(3 = 4\text{.}\)

Answer.

This statement is false.

(c)

If \(10 \lt 7\text{,}\) then \(3 + 5 = 8\text{.}\)

Answer.

This statement is true.

(d)

If \(7 \lt 10\text{,}\) then \(3 + 5 =8\text{.}\)

Answer.

This statement is true.

4.

Determine the conditions under which each of the following conditional sentences will be a true statement.

(a)

If \(a+2=5\text{,}\) then \(8\lt 5\text{.}\)

Answer.

True when \(a \ne 3\text{.}\)

(b)

If \(5\lt 8\text{,}\) then \(a+2=5\text{.}\)

Answer.

True when \(a = 3\text{.}\)

5.

Let \(P\) be the statement “Student X passed every assignment in Calculus I,” and let \(Q\) be the statement “Student X received a grade of C or better in Calculus I.”

(a)

What does it mean for \(P\) to be true? What does it mean for \(Q\) to be true?

(b)

Suppose that Student X passed every assignment in Calculus I and received a grade of B\(-\text{,}\) and that the instructor made the statement \(P \to Q\text{.}\) Would you say that the instructor lied or told the truth?

(c)

Suppose that Student X passed every assignment in Calculus I and received a grade of C\(-\text{,}\) and that the instructor made the statement \(P \to Q\text{.}\) Would you say that the instructor lied or told the truth?

(d)

Now suppose that Student X did not pass two assignments in Calculus I and received a grade of D, and that the instructor made the statement \(P \to Q\text{.}\) Would you say that the instructor lied or told the truth?

6.

Following is a statement of a theorem which can be proven using calculus or precalculus mathematics. For this theorem, \(a\text{,}\) \(b\text{,}\) and \(c\) are real numbers.

Theorem

If \(f\) is a quadratic function of the form \(f\left( x \right) = ax^2 + bx + c\) and \(a \lt 0\text{,}\) then the function \(f\) has a maximum value when \(x = \dfrac{{ - b}}{{2a}}\text{.}\)

Using only this theorem, what can be concluded about the functions given by the following formulas?

(a)

\(g\left( x \right) = - 8x^2 + 5x - 2\)

Answer.

This function has a maximum value when \(x = \dfrac{5}{16}\text{.}\)

(b)

\(h\left( x \right) = - \dfrac{1}{3}x^2 + 3x\)

Answer.

This function has a maximum value when \(x = \dfrac{9}{2}\text{.}\)

(c)

\(k\left( x \right) = 8x^2 - 5x - 7\)

Answer.

No conclusion can be made about this function from this theorem.

(d)

\(j\left( x \right) = - \dfrac{{71}}{{99}}x^2 + 210\)

(e)

\(f\left( x \right) = - 4x^2 - 3x + 7\)

(f)

\(F\left( x \right) = - x^4 + x^3 + 9\)

7.

Following is a statement of a theorem which can be proven using the quadratic formula. For this theorem, \(a\text{,}\) \(b\text{,}\) and \(c\) are real numbers.

Theorem

If \(f\) is a quadratic function of the form \(f\left( x \right) = ax^2 + bx + c\) and \(ac \lt 0\text{,}\) then the function \(f\) has two \(x\)-intercepts.

Using only this theorem, what can be concluded about the functions given by the following formulas?

(a)

\(g\left( x \right) = - 8x^2 + 5x - 2\)

(b)

\(h\left( x \right) = - \dfrac{1}{3}x^2 + 3x\)

(c)

\(k\left( x \right) = 8x^2 - 5x - 7\)

(d)

\(j\left( x \right) = - \dfrac{{71}}{{99}}x^2 + 210\)

(e)

\(f\left( x \right) = - 4x^2 - 3x + 7\)

(f)

\(F\left( x \right) = - x^4 + x^3 + 9\)

8.

Following is a statement of a theorem about certain cubic equations. For this theorem, \(b\) represents a real number.

Theorem A

If \(f\) is a cubic function of the form \(f(x) = x^3 - x + b\) and \(b > 1\text{,}\) then the function \(f\) has exactly one \(x\)-intercept.

Following is another theorem about \(x\)-intercepts of functions:

Theorem B

If \(f\) and \(g\) are functions with \(g(x) = k \cdot f(x)\text{,}\) where \(k\) is a nonzero real number, then \(f\) and \(g\) have exactly the same \(x\)-intercepts.

Using only these two theorems and some simple algebraic manipulations, what can be concluded about the functions given by the following formulas?

(a)

\(f(x) = x^3 - x + 7\)

(b)

\(g(x) = x^3 + x + 7\)

(c)

\(h(x) = -x^3 + x - 5\)

(d)

\(k(x) = 2x^3 + 2x + 3\)

(e)

\(r(x) = x^4 - x + 11\)

(f)

\(F(x) = 2x^3 - 2x + 7\)

9.

Using what you learned in this section, answer the following.

(a)

Is the set of natural numbers closed under division?

Answer.

The set of natural numbers is not closed under division.

(b)

Is the set of rational numbers closed under division?

Answer.

The set of rational numbers is not closed under division since division by zero is not defined.

(c)

Is the set of nonzero rational numbers closed under division?

Answer.

The set of nonzero rational numbers is closed under division.

(d)

Is the set of positive rational numbers closed under division?

Answer.

The set of positive rational numbers is closed under division.

(e)

Is the set of positive real numbers closed under subtraction?

Answer.

The set of positive real numbers is not closed under subtraction.

(f)

Is the set of negative rational numbers closed under division?

Answer.

The set of negative rational numbers is not closed under division.

(g)

Is the set of negative integers closed under addition?

Answer.

The set of negative integers is closed under addition.

Activity 1. Exploring Propositions.

In Progress Check 1.2, we used exploration to show that certain statements were false and to make conjectures that certain statements were true. We can also use exploration to formulate a conjecture that we believe to be true. For example, if we calculate successive powers of 2 \(\left( 2^1, 2^2, 2^3, 2^4, 2^5, \ldots \: \right)\) and examine the units digits of these numbers, we could make the following conjectures (among others):

  • If \(n\) is a natural number, then the units digit of \(2^n\) must be 2, 4, 6, or 8.

  • The units digits of the successive powers of 2 repeat according to the pattern “2, 4, 8, 6.”

(a)

Is it possible to formulate a conjecture about the units digits of successive powers of 4 \(\left( 4^1, 4^2, 4^3, 4^4, 4^5, \ldots \right)\text{?}\) If so, formulate at least one conjecture.

(b)

Is it possible to formulate a conjecture about the units digit of numbers of the form \(7^n - 2^n\text{,}\) where \(n\) is a natural number? If so, formulate a conjecture in the form of a conditional statement in the form “If \(n\) is a natural number, then \(\ldots\) .”

(c)

Let \(f \left( x \right) = e^{2x}\text{.}\) Determine the first eight derivatives of this function. What do you observe? Formulate a conjecture that appears to be true. The conjecture should be written as a conditional statement in the form, “If \(n\) is a natural number, then \(\ldots\) .”