1.review (evens)

1.review (evens) - SUPPLEMENTARY EXERCISES FOR CHAPTER 1 2....

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
Background image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: SUPPLEMENTARY EXERCISES FOR CHAPTER 1 2. The truth table is as follows. (P V q) -’ (p A or) ":3 meat—36666 < Q pA—n F T F T F F F F mmmmfiHr—iae "U'flr-il-E’E'TJHHQ mamaweqe Hr-HHZITJH'TJH'TJ 4. a) The converse is “Ifl drive to work today, then it will rain.” The contrapositive is “Ifl do not drive to work today, then it will not rain.” The inverse is “If it does not rain today, then I will not drive to work.” b) The converse is “If :1: 2 0 then l:L‘| : re.” The contrapositive is “If I < 0 then 7’; .17.” The inverse is “If [3:] aé as, then 3; < 0.” c) The converse is “If n2 is greater than 9, then '11 is greater than 3.” The contrapositive is “If 11.2 is not 2 greater than 9, then H is not greater than 3.” The inverse is “If 'n is not greater than 3, then u is not greater than 9 i” 32 6. 10. 12. 14. 16. 18. 2D. 22. 24. Chapter I The Foundations: Logic and Proofs The inverse of p —> (1 is np —) 11. Therefore the inverse of the inverse is fi-up —a -‘—-q, which is equivalent to p —> q (the original proposition). The converse of p —r q is q —r 13. Therefore the inverse of the converse is fig 4; —up, which is the contrapesitive of the original proposition. The inverse of the contrapositive is q —4 p, which is the same as the converse of the original statement. . Let t be “Sergei takes the job offer”; let i) be “Sergei gets a signing bonus”; and let h. be “Sergei will receive a higher salary.” The given statements are t a b, t —a h, b —r fill, and it. By modus ponens we can conclude b and h from the first two conditional statements, and therefore we can conclude oh. from the third conditional statement. We now have the contradiction h /\ —uh, so these statements are inconsistent. Since both knights and knaves claim that they are knights (the former truthfully and the latter deceivingly), we know that A is a knave. But since A’s statement must be false, and the first part of the conjunction is true, the second part must be false, so we know that B must be a knave as well. If C were a. knight, then B’s statement would be true, and knaves must lie, so C must also be a knave. Thus all three are knaves. If S is a proposition, then it is either true or false. If S is false, then the statement “If S is true, then unicorns live” is vacuously true; but this statement is 8, so we would have a contradiction. Therefore 5' is true, so the statement “If S is true, then unicorns live” is true and has a true hypothesis. Hence it has a true conclusion (modns ponens), and so unicorns live. But we know that unicorns do not live. It follows that .5' cannot be a preposition. a) The answer is 3.1:P(.t') if we do not read any significance into the use of the plural, and ElisEIy(P(:r:) A P(y) A .1: 94 y) if we do. b) it’s-Pm), or, equivalently, Elm-uP(:I:) c) VyQ(y) d) VJJP(3:) (the class has nothing to do with it) e) Ely-(2(1)!) The given staten'ient tells us that there are exactly two elements in the domain. Therefore the statement will be true as long as we choose the domain to be anything with size 2, such as the United States presidents named Bush. We want to say that for every 3;, there do not. exist four different people each of whom is the grandmother of 3;. Thus we have V:r—u3a3b3c3d(e r/é DAG. gé eAe 7é dAb 5/: CA?) 3% (UV: -7é dAG(a, y) AG(b, y) AG(c,y) AG(d, a) Since there is no real number whose square is ——1, it is true that there exist exactly 0 values of a; such that 1'2 = ‘1. b) This is true, because 0 is the one and onlbr value of .1: such that = 0. c) This is true, because \/§ and »\/§ are the only vaiues of 3; such that $2 = 2. [1'], namely all positive real d) This is false, because there are more than three values of .7: such that :2; numbers. Let. us assume the hypothesis. This means that there is some .170 such that P(a:o,y) holds for all y. Then it is certainly true that for all y there exists an .1: such that P(a:,y) is true, since in each case we can take I 2 3:0. Note that the converse is not always a tantology, since the .T in VyEi:r:P(rc, y) can depend on '3}. Ne. Here is an example. Let P(:r, y) be :1: > y, where we are talking about integers. Then for every 1; there does exist an :17 such that. a: > y; we could take :5 = y + 1, for example. However, there does not exist an :1: such that for every y, > y; in other words, there is no superlarge integer (if for no other reason than that no integer can be larger than itself). Supplementary Exercises 26. 28. 30. 32. 34. 36. 38. 40. 33 a) It will snow today, but I will not go skiing tomorrow. b) Some person in this class does not understand mathematical induction. c) All students in this class like discrete mathematics. d) There is some mathematics class in which all the students stay awake during lectures. Let. WU) means that room 1‘ is painted white. Let 1(r, {1) mean that room 1' is in building 1). Let L(b,u) mean that building l) is on the campus of United States university u. Then the statement is that there is some university a. and some building on the campus of a. such that every room in b is painted white. In symbols this is 3113b[L(b,-u) AV7‘(I(r, h) -> l-V(r))). To say that there are exactly two elements that. make the statement true is to say that two elements exist that make the statement true, and that every element that makes the statement true is one of these two elements. More compactly, we can phrase the last part by saying that an element makes the statement true if and only if it is one of these two elements. In symbols this is 3‘3:Ely(:r 3% y A V2(P(z) H (z : :r V 2: = y))). In English we might express the rule as follows. The hypotheses are that and P(y} are both true, that .1: at y, and that every 2 that satisfies 13(2) must be either at: or y. The conclusion is that there are exactly two elements that make P true. We give a proof by contraposition. If J: is rational, then a: = p/q for some integers p and q with q 79 0. Then 3:3 = p3/q‘3, and we have expressed 9:3 as the quotient of two integers, the second of which is not zero. This by definition means that {c3 is rational, and that completes the proof of the contrapositivc of the original statement. Let m be the square root of n, rounded down if it is not a whole number. (In the notation to be introduced in Section 2.3, we are letting m : [Mil] We can see that this is the unique solution in a couple of ways. First, clearly the different choices of m correspond to a partition of N, namely into {0}, {1, 2,3}, {4,5,6, 7,8}, {9,10,11,12.13,14,15}, So every n. is in exactly one of these sets. Alternatively, take the square root fr? < m. + 1. That m. is then the floor of (and that m is unique) follows from statement (1a) of Table 1 in Section 2.3. of the given inequalities to give 77? 5 A constructive proof seems indicated. \Ve can look for examples by hand or with a computer program. The smallest ones to be found are 50 2 52 + 52 : l2 + 7'2 and 65 = 42 + 72 : if2 + 82. We claim that the number 7 is not the sum of at most two squares and a cube. The first two positive squares are l and 4, and the first. positive cube is 1, and these are the only numbers that could be used in forming the sum. Clearly no sum of three or fewer of these is 7. This counterexample disproves the statement. “"0. give a proof by contradiction. if fl + were rational, then so would be its square, which is 5 + 2J6. Subtracting 5 and dividing by 2 then shows that J6 is rational, but this contradicts the theorem we are told to assume. ...
View Full Document

Page1 / 3

1.review (evens) - SUPPLEMENTARY EXERCISES FOR CHAPTER 1 2....

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online