Statements, Negations and Quantified Statements
Statements, Negations and Quantified Statements
117
118 C HA P TER 3 Logic
“The actual building of roads devoted to motor cars will not occur in the
future.”
—Harper’s Weekly, August 2, 1902
“The abdomen, the chest, and the brain will forever be shut from the
intrusion of the wise and humane surgeon.”
—John Ericksen, Queen Victoria’s surgeon, 1873
“We don’t like their sound and guitar music is on the way out.”
—Decca Recording Company, rejecting the Beatles, 1962
“When the President does it, that means that it is not illegal.”
—Richard M. Nixon, TV interview with David Frost, May 20, 1977
DEFINITION OF A STATEMENT
A statement is a sentence that is either true or false, but not both simultaneously.
SECTIO N 3.1 Statements, Negations, and Quantified Statements 119
2
Express statements using
symbols.
In symbolic logic, we use lowercase letters such as p, q, r, and s to represent
statements. Here are two examples:
p: London is the capital of England.
q: William Shakespeare wrote the television series Modern Family.
The letter p represents the first statement.
The letter q represents the second statement.
3
Form the negation of a statement. Negating Statements
The sentence “London is the capital of England” is a true statement. The negation
of this statement, “London is not the capital of England,” is a false statement.
The negation of a true statement is a false statement and the negation of a false
statement is a true statement.
SOLUTION
a. The most common way to negate “Shakespeare wrote the television
series Modern Family” is to introduce not into the sentence. The
negation is
Shakespeare did not write the television series Modern Family.
The English language provides many ways of expressing a statement’s
meaning. Here is another way to express the negation:
It is not true that Shakespeare wrote the television series Modern
Family.
120 C HA P TER 3 Logic
4 Express negations using symbols. The negation of statement p is expressed by writing ∼p. We read this as “not p”
or “It is not true that p.”
SOLUTION
The symbol ∼ is translated as “not.” Therefore, ∼p represents
The United States does not have the world’s highest divorce rate.
This can also be expressed as
It is not true that the United States has the world’s highest divorce rate.
Now let’s investigate how to negate a statement with the word some. Consider
the statement “Some canaries weigh 50 pounds.” Because some means “there exists
at least one,” the negation is “It is not true that there is at least one canary that
weighs 50 pounds.” Because it is not true that there is even one such critter, we can
express the negation as “No canary weighs 50 pounds.”
Statement Negation
5QOGECPCTKGUYGKIJRQWPFU
0QECPCT[YGKIJURQWPFU
50-pound 50-pound
Canaries objects Canaries objects
Blitzer Bonus
Logic and Star Trek
SOLUTION
Let’s begin with the mechanic’s statement:
All piston rings were replaced.
Because the mechanic never tells the truth, I can conclude that the truth is
the negation of what I was told. The negation of “All A are B” is “Some A are
not B.” Thus, I can conclude that
Some piston rings were not replaced.
Because some means at least one, I can also correctly conclude that
At least one piston ring was not replaced.
CHECK POINT 4 The board of supervisors told us, “All new tax dollars will be
used to improve education.” I later learned that the board of supervisors never
tells the truth. What can I conclude? Express the conclusion in two equivalent
ways.