B: Ü.:: A:::::: A:: Xxy XXX Yxx: Acb. A:I - , 2I, B: ("R - I3 X: 2 - Xy
B: Ü.:: A:::::: A:: Xxy XXX Yxx: Acb. A:I - , 2I, B: ("R - I3 X: 2 - Xy
B: Ü.:: A:::::: A:: Xxy XXX Yxx: Acb. A:I - , 2I, B: ("R - I3 X: 2 - Xy
ı v JgL) aJ
In Exercises 33-36, show as in Examples ].].5 and t.].6, that science course are also taking a mathematics course. Are more
ACB. than one-thİrd of the sfudents taking a mathematİcs course?
33. A:I|,2I, B:{3,2,1}
34. A:{1,2|, B:{"r|ı3 -612+ 11ı:6}
In Exercises 57-60, let X: {1, 2 and Y- {a, b, c|. List the
elements in each set.
35. A:{1}x{1,2}, B: {1}x{1,2,3}
ü. A : {2n I n < Z+I, B : {n I n eZ+|
57. XxY 58. YxX
59. XxX 6O. Y xY
In Exercises 3740, show, as in Example I.t.9, that A is not a
subset of B.
InExercises 6144, let X: {1,2I, Y : |a|, and Z: {a, B}. List
37. A: I1,2,3|, B : {|,2} the elements of each set.
r\JLl
Tastea-=----.
(\
Great Less Filling In Exercises 73-76, list all partitions ofthe set.
73. {1] 74. {|,2}
)
75. {a,b,c| 76. |a,b,c,d|
What does the shaded area represent? In Exercises 77-82, answer true or false.
Exercises 50-54 refer to a group of l91 students, ofwhich I0 are 77. {x} C {x| 78. {"r} e {x}
taking French, business, and music; j6 are taking French and busi- 79. {xl e {ı, {.r}} S0. {.r} c
{ı, {"r}}
ness ; 20 are taking French and music ; 1 8 are taking business and
81. {2} CP({1,2» 82. {2| eP({|,z})
music; 65 are taking French; 76 are taking business; and 63 are
83. List the members of P ({a, b}). Which are proper subsets of
taking music.
\a, b|?
50. How many aIe taking French and music but not business? 84. List the members of P ( {
a, b, c, d|).Which are proper subsets
51. How many are taking business and neither French nor music? of {a, b, c, d|?
52. How many are taking French or business (or both)? 85. If X has l0 members, how many members does 2(X) have?
53. How many are taking music or French (or both) but not How many proper subsets does X have?
business? 86. If X has n members, how many proper subsets does X have?
54. How many are taking none of the three subjects? In Exercises 87-90, what relation must hold between sets A and B
55. A television poll of 151 persons found that 68 watched.'Law in order for the given condition to be true?
and Disorder"; 6l watched "25";52 watched'.The Tenors'';
16 watched both "Law and Disorder'' and ''25'' 25 watched
87. AaB:A 88. AUB:A
both "Law and Disorder" and "The Tenors''; 19 watched boü 89.7n{J:a 90. An B :E
"25" and" 'The Tenors"; and 26 watched none of üese shows.
Tlıe symmetric difference of two sets A and B is the set
How many persons watched all three shows?
56. In a group of students, each student is taking a mathemat- A^B-(AUB)-(A.B).
ics course or a computer science course or both. One-fifth of 9l. It A: {1,2,3} and B : {2,3,4,5}, find A A B.
those taking a mathematics course are also taking a computer
92. Describe the symmetric difference of sets A and B in words.
science course, and one-eighth of those taking a computer
2U Chapter 1? Sets and Logic
Determine whether each sentence in Exercises I-I I is a proposi- In Exercises 33-38, formulate the symbolic expression in wı
tion. If the sentence is a proposition, write its negation. (You are using
notbeing askedfor the truthvalues ofthe sentences that are proprı-
p : Lee takes computer science.
sitions. )
q ,. Lee takes mathematics.
1. ? 5: ]q
-r 2. 6-19 : 15.
3. ı*9:15. 33. -p 34. p nq 35. pV q
4. Waiteı will you sefve the nuts-I mean, would you sefve the 36. pv -q 37. p ı_q t$. -p n-q
guests the nuts? In Exercises 3943, formulate the symbolic expression in wı
5. For some positive integer n, 79340 : n. l'7. using
6. Audrey Meadows was the original 'Alice" in "The Honey- p: Youplayfootball.
mooners." q : You miss the midteıın exam.
7. Peel me a grape. r ,. You pass the course.
55. You run 10 laps daily, but you are not healthy
Determine whether each proposition is true or false.
56. You run 10 laps daily, you take multi-vitamins, and yoq
30.5<9and9<'7. healthy.
31. Itisnotthecasethat(5 < 9and9 <1). 57. You run l0laps daily or you take multi-vitamins, and yu
32. 5 < 9 oritis notthe case that (9 < 7 and 5 < 7). healthy.
1. What is a conditional proposition? How
is it denoted? 1 What is the converse of p --> q?
) Give the truth table for the conditional proposition.
8. What is a biconditional proposition? How
is it denoted?
3. In a conditional proposition, what is the hypothesis?
9. Give the truth table for the biconditional proposition.
4. In a conditional proposition, what is the conclusion?
10. What does it mean for P to be logically equivalent to
What is a necessary condition?
l1. State De Morgan's laws for logic.
6. what is a sufEcient condition?
|2. What is the contrapositive of p --> q?
boss.
the 34. Ii 3 + 5 > 2,then I t 3 # 4.
35. 2|f arıdonly if 1 * 3 :
3+ 5 > a..
6. You can go to the Super Bowl unless you can't afford
the ticket. 36. 3 + 5 < 2if andonly if 1 I 3 : /1.
7. You may inspect the aircraft only if you have the proper
secu- 37. 3 +5 < 2if andonlyif 1 + 3
rity clearance. + 4.
38. Ifthe earth has six moons, then 1 < 3.
8. When better cars are built, Buick will build them.
39. If 1 < 3, then the earth has six moons.
9. The audience will go to sleep if the chairperson gives the
lecfure. In Exercises 4043, represent the given proposition
10. The program is readable onty if it is well structured. by letting
11. Write the converse of each proposition in Exercises p: 4<2, q: 7 <10, r: 6<6.
1-10.
12. Write the contrapositive of each proposition in Exercises 40. If 4 < 2, then7 < l0.
1-10.
Assuming that p and r are false and that q and s are 4l. If(4 <2and6 < 6),then7 < l0.
true, find the
truth value of each proposition in Exercises ] 3-20. 42. If it is not the case that (6 < 6 and 7 is not less than l0),
13. p 6<6.
--> q ||. -p --> -q 43. 7 < 10 if and only if (4 < 2 and6 is not less than
15. -(p --> q) |6. (p --> q) n (q --> r)
6).
49. Ifyou 72. Shirley will either take the bus or catch a ride to school.
are healthy and run 10 laps daily, then you do not take
multi-vitamins. 73. Red pepper and onions are required to make chili.
In Exercises 50-55, formulate the symbolic expression in words Exe rc is es 74 and 7 5 p rov ide furthe r mot iv at i on fo r definin g p --> q
using to be true when p
false. We consider changing the truth table fİr
is
p --> q when p is false. For the first change, we call the resulting
p: Today is Monday, operator impL (Exercise 74), and,
for the second change, we call
the resulting operator imp2 (Exercise 75). In both cases,
q: It is raining, we see
that pathologies result.
r: It is hot.
74. Defrne the truth table for impl by
50. p --> q 5|. -s->Qıp)
52. -p --> (q v r) 53. -(p v q) <-> r pq p impl q
54. (p n(q v r)) -+ (r v (q v p))
55. (p v (-p _+ (p v T
^-(qvr))) -(r v q))
F
In Exercises 56_59, write each conditional proposition symboli- F
cally. Write the converse and contrapositive of each proposition T
symbolically and in words. Atso, find the truth value of each con-
ditional proposition, its converse, and its contrapositive.
Showthat p impl q : q impL p,
56. It4 < 6,then9 >12. 57. If4 > 6,then g > 12. Define the truth table for imp2 by
58. 11|<3if-3<l<3. 59. |4l <3if-3<4<3.
For each pair of propositions P and Q in Exercises 6049, state pq p imp2 q
whether or not P Q. = TT T
60. P-p,Q:pvq 6l. P:p^q,Q:-pv-q TF F
62. P:p-+q,Q--pvq FT T
63. P : p n(-qv r), Q : p v (q A_r) FF F
64. P : p v r), Q : Q v q) ı(p v r) (a) Show that
^(q
65. P:p-->q,Q--q->-p (p imp2 s) @ imp2 p) *p <> q. (1.3.5)
66. P:p-->q,Q:p*q ^
(b) Show that (1.3.6) remains true if we change the third row
67. P : (p --> q) A(q --> r), Q: p --> r
of imp2's truth table to F T F.
68. P : (p -> q) --> r, Q: p --> (q --> r) 76. Verify the second of De Morgan's laws
-(p n 4) : ap v -q.
69. P :(s -+ (pn -r)) n ((p --> (r v q)) ıs), : p v t 77. Show that (p -+ q) (-p v q).
Q
=
l. What is deductive reasoning? 8. State üe modus tollens rule of inference.
2. What is a hypothesis in an argument? 9. state the addition rule of inference.
3. What is a premise in an argument? 10. State the simplification rule of inference.
4. What is a conclusion in an argument? 11. State the conjunction rule of inference.
5. What is a valid argument? 12. State the hypothetical syllogism rule of inference.
6. What is an invalid argument? 13. State the disjunctive syllogism rule ofinference.
7. state the modus ponens rule of inference.
If I don't get rich, then I don't get A InExercises 6-10, write the given argument inwords ancl determine
s.
whether each ar7ument is valid. Let
.'. I get rich.
3. I study hard if and only if I get rich.
p: 4 megabytes is better than no memory at all
I get rich.
q: We will buy more memory.
.'. I study hard. r: We will buy a new computer
9. Explain how to prove that a universally quantifred state
1. What is a propositional function?
false.
2. What is a domain of discourse?
10. Explain how to prove that an existentially quantified
3. What is a universally quantified statement? is false.
5. What is an existentially quantified statement? |2. State the universal generalization rule of inference,
6. State the generalized De Morgan's laws for logic, 13. state the existential instantiation rule of inference,
2. What is the interpretation of VıJy P(x, y)? When is this quan- 7- Write the negation of Vx3yP(x, y) using the
tified expression true? When is it false? De Morgan's laws for logic.
3. What is the interpretation of f xYy P(x, y)? When is this quan- 8. Write the negation of 3ıVyP(ı, y) using the
tified expression true? When is it false? De Morgan's |aws for logic.
4. What is the interpretation of l x3y P (x, y) ? When is this quan- 9. Write the negation of JxlyP(x, y) using the
tified expression true? When is it false? De Morgan's laws for logic.
5. Give an example to show that, in general, Vı3yP(ı, y) and 10. Explain the ıules for playing the logic game. How can
1xYyP(x, y) have different meanings. logic game be used to determine the truth value of a quanti
expression?
In Exercises ]-27, the set D1 consists of three students: Garth, who 7. Tell whether each proposition in Exercises 1-4 is true or
is feet l1 inches tall; Erin, who is 5 feet 6 inches tall; and Marty,
5 if the domain of discourse is D2 x D2.
who is 6 feet tall. The set D2 consists of four students: Dale, who 8. Tell whether each proposition in Exercises 1-4 is true or
is 6 feet tall; Gaıth, who is 5 feet l l inches tall; Erin, who is 5 feet if the domain of discourse is D3 x D3.
6 inches tall; and Marty, who is 6 feet tall. The set D3 consists of
9. Tell whether each proposition in Exercises 1-4 is true or fal
one student: Dale, who is 6 feet tall. The set D4 consists of three
if the domain of discourse is Da x Da.
i
students: Pat, Sandy, and Gale, each ofwhom is 5 feet l 1 inches tall.
In Exercises 1-9, Tt@, y) is the propositional function "x
is taller than y." Write each proposition in Exercises ]4 in words. In Exercises 10-18, TzQ,y) is the propositional function "x
1. V"rVy Tı(x, y) 2. YxJy Tı(x, y) taller than or the same height as y." Write each proposition
Exercises 10-] 3 in words.
3. 3_rVy T{x,y) 4. 1xly TıQ,y)
5. Write the negation of each proposition in Exercises 1-4 in 10. VıVy TzQ,y) 11. V.x3y TzO,y)
words and symbolically. |2. 1xYy TzQ, y) 13. 3ı3y TzQ,y)
6. Tell whether each proposition in Exercises 1-4 is true or false 14. Write the negation of each proposition in Exercises 10-13
if the domain of discourse is D1 x D1. words and symbolically.
Tell whether each proposition in Exercises 11-13 is true or 35. Every discrete maü student attended someone's office hours.
üI§e if the domain of discourse is D1 x D1. (The set D1 is
36. Al1 teachers had at least one student attend their office hours.
defned before Exercise 1.)
Tell whether each proposiion in Exercises 10-13 is true or Let P(x, y) be the propositional function x > y. The domain of
hl§e if the domain of discourse is D2 x D2. (The set D2 is discourse is Z+ x Z+. Tell whether each proposition in Exercises
&fned before Exercise 1.) 3740 is true or false.
Tell whether each proposition in Exercises 10-13 is true or 37. YxYy P(x,y) 38. Vı3y P(x, y)
hlse if the domain of discourse is D3 x D3. Qhe set D3 is 39. lıVy P(x,y) 40. 3x3y P(x,y)
defined before Exercise 1.)
41. Write the negation of each proposition in Exercises 37-40.
Tell whether each proposition in Exercises 11-13 is true or
false if the domain of discourse is Da x Da. $he set Da is Determine the truth value of each statement in Exercises 42-59.
defined before Exercise l.) The domain of discourse ıs R x R. Justify your answer,ı.
defined before Exercise 1.) 60. Write the negation of each proposition in Exercises 42-59.
ü. Tell whether each proposition in Exercises 19-22 is true or 61. Suppose that P is a propositional function with domain of
false if the domain of discourse is D3 x D3. (The set D3 is discourse tdı, . . ., dn} x {d1, . . ., dn}.Write pseudocode that
defined before Exercise 1.) determines whether
l|'l Tell whether each proposition in Exercises 19J2 is true or 3-rVy P("r, y)
false if the domain of discourse is Da x Da. (The set D4 is
is true or false.
defined before Exercise 1.)
62. Suppose that P is a propositional function with domain of
Iıt L(x, y) be the propositionalfunction "x loves y.'' The domain discourse {dı, . . ., d"} x {d1, . . ., dnl.Write pseudocode that
ğdiscourse is the Cartesian product of the set of all living people determines whether
ıiıh itself (i.e., both x and y take on values in the set of all living
pople). Write each proposition in Exercises 28-3t symbolically. 3x3y P(x, y)
Which do you think are true? is true or false.
28. Someone loves everybody. 63. Explain how the logic game (Example 1.6.15) determines
whether each proposition in Exercises 42-59 is true or false.
Z). Everybody loves everybody.
64. Use the logic game (Example 1.6.15) to determine whether the
30. Somebody loves somebody.
proposition
3l. Everybody loves somebody.
YxYylz((z>J)^(z<y))
32. Write the negation of each proposition in Exercises 28-31 in
words and symbolically. is true or false. The domain of discourse is z x z x z.
65. Use the logic game (Example 1.6.15) to determine whether the
Iıt A(x, y) be the propositional function "x attended y's ffice proposition
hours" and let E(x) be the propositionalfunction ''x is enrolled
in a discrete math class." Let S be the set of students awl let T V"tVyJe((z < "T) (z < y))
^
denote the set of teachers-all at Hudson University. The domain is true or false. The domain of discourse is z x z x z,
of discourse of A is S x T and the domain of discourse of E is S. 66. Use the logic game (Example 1.6.15) to determine whether the
Write each proposition in Exercises 33-36 synbolically. proposition
33. Brit attended someone's offlce hours. YxYy3z((x < y) -+ ((e > "r; n (z < y)))
34. No one attended Professor Sandwich's office hours. is true or false. The domain of discourse is z x z x z.
67. Use the logic game (Example 1.6. 1 5) to determine whether the Assume that3xYy P(x, y) isfalse andthat the domain of
proposition is nonempty. Which of Exercjses 8-1*85 must also be false?
your answer
V_rVy!z((x < )) -+ ((z > .x) ı (z < ı)))
Assume that 1xV y P (x, y) is true and that the domain of discourse
Which of Exercises 89-92 ls logically equivalent
is nonempty. Which of Exercises 71-73 must also be true? Prove -(Vr]J P(x. y)).' Explain.
your answer. 89. ]x-(Vy P(_r, ı)) 90. Vı-(]y P(ı, y))
7l. YxVy P(x,y) 72. Yxly P(x, y) 73. Jx3y P(.r, y) 91. J_rVy -P(ı, y) 92. 3xly -P(x, y)
93. [Requires calculus] The definition of
Assume that 3x:Jy P (x, y) is true and that the domain of discourse
is nonempty. Which of Exercises 74-76 must also be true7 Prove
your answer. İ+a f(x)
|im : L
74. YxYy P(x,y) 75. Yxly P(x, y) 76. lxYy P(x,y) is: For every e > 0, there exists 6 > 0 such that for all
0 < l.r - cıl < 3, then |/(x) - al < s. Write this defi
As s ume that V xY y P (x, y)
i s fal s e and that the domain of dis c ours e
symbolically using V and J.
is nonempty. Which of Exercises 77-79 must also be false? Prove
your answer 94. [Requires calculus] Write the negation of the definition of
(see Exercise 93) in words and symbolically using V and 3
77. Yx3y P(x,y) 78. 3ıVy P(.r, y) 79. 3xly P(x,y) not -.
-o f 0)
Assume thatY x3y P (x, y) is fals e and that the domain of discourse *95. [Requires calculus] Write the definition of "lim,
is nonempty. Which of Exercises 80-82 must also be false? Prove not exist" (see Exercise 93) in words and symbolically
your answer V and ] but not -.
96. Consider the headline: Every school may not be right
80. V.rVy P(x,y)
every child, What is the literal meaning? What is the i
81. l"rVy P(x,y) meaning? Clarify the headline by rephrasing it and writi
82. 3x3y P(x, y) symbolically.